]>
author | Robert Alessi <redacted> | |
Fri, 26 Jul 2019 13:46:37 +0000 (15:46 +0200) | ||
committer | Robert Alessi <redacted> | |
Fri, 26 Jul 2019 13:46:37 +0000 (15:46 +0200) | ||
commit | 0e957add674d833c5c2f5f6c215f14e8b2f6e994 | |
tree | 83f0d7c64e23659b242f74340b6f5ba93d026380 | tree | snapshot |
parent | 83e98e09cc6d9603330299efdc5e919c650a08bd | commit | diff |
README.md | diff | blob | history | |
about.html | diff | blob | history | |
oldstandard.tex | diff | blob | history |