diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-02 13:59:58 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-02 14:35:35 -0400 |
| commit | 415c4f45eab364ea3c0cf15b2612406751527113 (patch) | |
| tree | 6755e87b1de2f2c80f6ed9644847ce724a5b40cf /src/util/language.h | |
| parent | 6673ce0fdd4bb727208be0cbea59585179758a1c (diff) | |
Remove old README file from rewrite-rules left over from new-theory script long ago
Diffstat (limited to 'src/util/language.h')
0 files changed, 0 insertions, 0 deletions