diff options
author | Nadrieril | 2019-04-14 19:47:41 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-14 19:47:41 +0200 |
commit | 1ac24d88ecd2001dc49688afcf6f93944ff60e96 (patch) | |
tree | 8cad318490b3c5a1e32ec9845f3ce633978112d2 /dhall_generated_parser/.gitignore | |
parent | 685dcf6d699a51bae681d0fe605a0cf862f7a37f (diff) |
Naming nitpick
Diffstat (limited to 'dhall_generated_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions