]>
author | Robert Alessi <redacted> | |
Thu, 25 Jul 2019 06:33:04 +0000 (08:33 +0200) | ||
committer | Robert Alessi <redacted> | |
Thu, 25 Jul 2019 06:33:04 +0000 (08:33 +0200) | ||
commit | 2686ce75e5e614c989fbfddee1c61919e02f7f5a | |
tree | 3e7b3ba32e59893521db293e562218764d7468df | tree | snapshot |
parent | a1ac1f9aa814caf2209bec83094286b184f05e84 | commit | diff |
oldstandard.tex | diff | blob | history |