diff options
| author | Eduardo Julian | 2017-04-03 18:19:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-04-03 18:19:20 -0400 |
| commit | a132466d659093a4ac9dd3a58ad7a3957c18464b (patch) | |
| tree | a779e2b217ddd9c52f6ee5044f92bfd3f937a6a0 /.gitignore | |
| parent | 82c955d5777ecb87b53bafcc658683d5a76e9a3c (diff) | |
- Removed assume and with-gensyms from the list of special syntax.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions