]>
| author | Robert Alessi <redacted> | |
| Fri, 22 Nov 2019 08:33:32 +0000 (09:33 +0100) | ||
| committer | Robert Alessi <redacted> | |
| Fri, 22 Nov 2019 08:33:32 +0000 (09:33 +0100) | ||
| commit | 31db4f847ccd866972a51ffe83c9d4cd6db29937 | |
| tree | 9ca01eca9155d61c6368dd2135492710d498827a | tree | snapshot |
| parent | 93b37bbde86f8728e8ff23e55017719d89dc10b5 | commit | diff |
| oldstandard.tex | diff | blob | history |