]>
| author | Robert Alessi <redacted> | |
| Thu, 25 Jul 2019 05:36:13 +0000 (07:36 +0200) | ||
| committer | Robert Alessi <redacted> | |
| Thu, 25 Jul 2019 05:36:13 +0000 (07:36 +0200) | ||
| commit | a1ac1f9aa814caf2209bec83094286b184f05e84 | |
| tree | c50a23c94ca79c3220da18f26340adf9f9d096a3 | tree | snapshot |
| parent | ccc70f886d99a711f82cba7c8f802bdd10213fd7 | commit | diff |
| README.md | diff | blob | history | |
| about.html | diff | blob | history | |
| oldstandard.tex | diff | blob | history |