diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:34:47 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:34:47 -0800 |
| commit | 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (patch) | |
| tree | 4a5ebf607eca7e28b12476f9fdf4368580bb2409 /.gitignore | |
| parent | cf32b93b72453c4b280fd0863c5c231054dfc263 (diff) | |
Moved mkcasefold.pl to tools/.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions