Commit 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 Parent cf32b93b72453c4b280fd0863c5c231054dfc263 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 12 Jan 2015 20:34:47 -0800 Moved mkcasefold.pl to tools/.