diff options
| author | Nadrieril | 2019-03-15 23:45:50 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-15 23:45:50 +0100 |
| commit | 4f2c27bc1ca8c2147fa8e9292c6cec04ab8d0984 (patch) | |
| tree | ce4c93177f70c492c9a842c3e26d4f6390319d60 /dhall_parser/.gitignore | |
| parent | 22aa5de3fb5836daf066add3e128173bbd396003 (diff) | |
Get rid of box patterns
Closes #27
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions