summaryrefslogtreecommitdiff
path: root/print/tex-ebproof
AgeCommit message (Expand)AuthorFilesLines
2020-01-18all: migrate several HOMEPAGEs to httpsrillig1-2/+2
2019-12-06tex-*: add TEXLIVE_UNVERSIONED=yesmarkd1-1/+2
2018-05-22tex-ebproof{,-doc}: Add version 2.0markd4-0/+30