aboutsummaryrefslogtreecommitdiff
path: root/tools/mkcasefold.pl
AgeCommit message (Expand)Author
2015-01-15Re-added tools/{makespec.py, template.html, template.tex}.John MacFarlane
2015-01-12Moved mkcasefold.pl to tools/.John MacFarlane