diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:36:22 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:42:30 -0800 |
| commit | fed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch) | |
| tree | 95a4f05799af5f08fe88d50d35d05a5c7a188fae /.editorconfig | |
| parent | 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff) | |
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions