summaryrefslogtreecommitdiff
path: root/print/tex-ebproof/DESCR
AgeCommit message (Expand)AuthorFilesLines
2018-05-22tex-ebproof{,-doc}: Add version 2.0markd1-0/+7