]>
| author | Robert Alessi <redacted> | |
| Mon, 30 Jan 2023 14:50:39 +0000 (15:50 +0100) | ||
| committer | Robert Alessi <redacted> | |
| Mon, 30 Jan 2023 14:50:39 +0000 (15:50 +0100) | ||
| commit | ee9b7f59c3864527d93d357486030ba6b9be5b96 | |
| tree | 3147138d5dc0b713c7c58b7d564671eec2d90554 | tree | snapshot |
| parent | 63793b66e6809e1b7f2db09a3b6a8fdd00e6e603 | commit | diff |
| AUTHORS.md | diff | blob | history | |
| LICENSE | diff | blob | history | |
| README.md | diff | blob | history | |
| about.html | diff | blob | history | |
| makefile | diff | blob | history | |
| oldstandard.tex | diff | blob | history |