summaryrefslogtreecommitdiff
path: root/tools/mkcasefold.pl
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:36:22 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:42:30 -0800
commitfed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch)
tree95a4f05799af5f08fe88d50d35d05a5c7a188fae /tools/mkcasefold.pl
parent6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff)
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions