summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-04-20 22:11:37 +0200
committerNadrieril2019-04-20 22:13:15 +0200
commit0c981c548db098b0842b79faecfba93f32a1b589 (patch)
treeb884b2606b181bdcc9e2edaf16c03fb99f525223 /dhall_generated_parser/.gitignore
parent6bbe7df139552695081af735bd82945e5e22ed05 (diff)
Avoid a lot of unnecessary cloning in apply_builtin
Diffstat (limited to 'dhall_generated_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions