]>
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 |