]>
| author | Robert Alessi <redacted> | |
| Fri, 26 Jul 2019 13:59:54 +0000 (15:59 +0200) | ||
| committer | Robert Alessi <redacted> | |
| Fri, 26 Jul 2019 13:59:54 +0000 (15:59 +0200) | ||
| commit | 09b2b2d9264b0dac00777d138ff01a93ddc8fbaf | |
| tree | e1c9be299d4f37b65a60e15fa9cbfa19cfd8fc03 | tree | snapshot |
| parent | 0e957add674d833c5c2f5f6c215f14e8b2f6e994 | commit | diff |
| README.md | diff | blob | history | |
| about.html | diff | blob | history | |
| oldstandard.tex | diff | blob | history |