summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-tlpdb-coverage
AgeCommit message (Expand)Author
2007-12-27rename check-tlpdb-coverage to check-collection-coverageNorbert Preining
2007-12-26output beautifyingNorbert Preining
2007-12-26add a coverage check scriptNorbert Preining