summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-prune-platforms
AgeCommit message (Expand)Author
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