diff options
| author | Nadrieril | 2019-03-09 10:32:17 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 10:32:17 +0100 |
| commit | 19c18f9cd0d192f326fc2946729645cab5e1d416 (patch) | |
| tree | c90e596a6e225ac3b9bfa5015b41d619fbccb018 /.gitignore | |
| parent | 60d554574d246de43976c8b50a38b514b026a72d (diff) | |
Rename dhall! to dhall_expr! for clarity
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions