aboutsummaryrefslogtreecommitdiff
path: root/externals/build/src/search-doubled-externals.sh
AgeCommit message (Expand)Author
2007-01-12helper script to search for doubled externalsGeorg Holzmann