aboutsummaryrefslogtreecommitdiff
path: root/devtools/construct-pred-dict.pl
AgeCommit message (Collapse)Author
2011-04-09DEVTOOLS: Renamed 'tools' directory to 'devtools'Max Horn