]>
author | Robert Alessi <redacted> | |
Sun, 28 Jul 2019 09:11:31 +0000 (11:11 +0200) | ||
committer | Robert Alessi <redacted> | |
Sun, 28 Jul 2019 09:11:31 +0000 (11:11 +0200) | ||
commit | 1cd10e432889a25ad4a97145adbcc3a5248c5b43 | |
tree | b687cf8f355744cdd965bf0e57e2e63501b78172 | tree | snapshot |
parent | 09b2b2d9264b0dac00777d138ff01a93ddc8fbaf | commit | diff |
makefile | diff | blob | history | |
oldstandard.tex | diff | blob | history |