summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-prune-platforms
AgeCommit message (Expand)Author
2018-01-24save backup of tlpdb when building or pruning release imageKarl Berry
2016-08-03ignore demo-ocgx.pdf due to crash; flush buffers; copyrightKarl Berry
2015-12-14set PATH for fmtutil in check-fmttriggers, doc tweaksKarl Berry
2013-05-17prune platforms from isoKarl Berry
2012-07-26fix bugs in tl-prune-platformsNorbert Preining
2012-07-24add a script to prune platforms from a tlnet hieararchy,Norbert Preining