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 |