]>
| author | Robert Alessi <redacted> | |
| Sat, 3 Aug 2019 16:27:59 +0000 (18:27 +0200) | ||
| committer | Robert Alessi <redacted> | |
| Sat, 3 Aug 2019 16:27:59 +0000 (18:27 +0200) | ||
| commit | e00bf149999ee6fb7c6708243559e64412d79a07 | |
| tree | 85e3d26d5aeeed5484f7cf3a012f8dc068330f83 | tree | snapshot |
| parent | cae3b04aeb28ddfdf448e6e32bb5ad1bc9f3f0de | commit | diff |
| README.md | diff | blob | history | |
| about.html | diff | blob | history | |
| oldstandard.tex | diff | blob | history |