summaryrefslogtreecommitdiff
path: root/dhall_parser/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-03-08 00:49:42 +0100
committerNadrieril2019-03-08 00:49:42 +0100
commit465c3d2b97cfebcf47cbcef1dc847e592d31f434 (patch)
tree30c6f2894afc1367d3a2e97687c476b7cba99a32 /dhall_parser/.gitignore
parent16ce1082465a11bf76df5f59530cde02bddc4f21 (diff)
Generate pest file manually in the hopes to reduce spurious recompilations
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions