summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/mentis.tlpsrc
blob: d4b3a0916198b214819a058ea1c58d90abe25438 (plain)
1
name mentis