| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-07-14 | errata 20235 yet againHEADmain | pgww |
| 2025-07-13 | erratum 20235 (again) | pgww |
| 2025-07-04 | erratum 20235 | git repository manager |
| 2025-06-26 | removed superfluous zip files | git repository manager |
| 2025-06-04 | Normalize | nfenwick |
| 2025-06-04 | Initial commit | nfenwick |
