]>
author | Robert Alessi <redacted> | |
Mon, 29 Jul 2019 10:46:29 +0000 (12:46 +0200) | ||
committer | Robert Alessi <redacted> | |
Mon, 29 Jul 2019 10:46:29 +0000 (12:46 +0200) | ||
commit | cae3b04aeb28ddfdf448e6e32bb5ad1bc9f3f0de | |
tree | 9c38bf6573792273e30b2e409647d69a9eff5a9f | tree | snapshot |
parent | 93335c103118506ad3133f4a455636082b787ce6 | commit | diff |
makefile | diff | blob | history | |
oldstandard.tex | diff | blob | history |