diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-08-02 18:37:24 -0700 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-08-02 18:37:24 -0700 |
| commit | 26333a65b7b9ec4b68d76e17d43beb64145c728e (patch) | |
| tree | e18ad6bf96fcebd18f03643fc8b9f579f83820e2 /src/expl_rename.sml | |
| parent | 3342c1d3ee4b6be71cdc158a3a75419896c29518 (diff) | |
Fix NONE capitalization typo.
Diffstat (limited to 'src/expl_rename.sml')
0 files changed, 0 insertions, 0 deletions