Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LICENSE 2018-12-26 11:36 34K
README.md 2020-03-19 12:30 463
latexgit.dtx 2020-04-20 10:34 17K
latexgit.ins 2020-04-20 10:34 674
latexgit.pdf 2020-04-20 10:34 425K