diff options
| author | Nadrieril | 2019-04-04 16:03:10 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-04 16:09:11 +0200 |
| commit | 170eebd7001153a849fbf84c52767240a33c4538 (patch) | |
| tree | ddc2bf4ddbca0fc5afdaeeaebce524457c42458c /dhall_parser/.gitignore | |
| parent | 1ff7bffcbce7112b0491f7cd895ed3275fb68a1f (diff) | |
Rename whitespace rules
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions