summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/synproof.tlpsrc
blob: 80af8663f5c5750ffe7661d8839744f1aa188fdc (plain)
1
2
name synproof
category Package