summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/synproof.tlpsrc
blob: bfd11743cdb9ae059404e75752c71f0b14593b49 (plain)
1
name synproof