summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-07-14errata 20235 yet againHEADmainpgww
2025-07-13erratum 20235 (again)pgww
2025-07-04erratum 20235git repository manager
2025-06-26removed superfluous zip filesgit repository manager
2025-06-04Normalizenfenwick
2025-06-04Initial commitnfenwick