]>
| author | Robert Alessi <redacted> | |
| Wed, 24 Jul 2019 13:13:48 +0000 (15:13 +0200) | ||
| committer | Robert Alessi <redacted> | |
| Wed, 24 Jul 2019 13:13:48 +0000 (15:13 +0200) | ||
| commit | f3c4768c365b9b086b08a92c208b2dd7877558cf | |
| tree | 1ef8c442a85115a0b6026c5465b6bc30e3fc0384 | tree | snapshot |
| parent | 6891b9189f99ae8927a5e508ef3ace30235c3577 | commit | diff |
| README.md | diff | blob | history | |
| about.html | diff | blob | history | |
| oldstandard-t.tex | diff | blob | history |