summaryrefslogtreecommitdiff
path: root/dhall_parser/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-04-04 15:58:20 +0200
committerNadrieril2019-04-04 15:58:20 +0200
commit1ff7bffcbce7112b0491f7cd895ed3275fb68a1f (patch)
treea614e762b9852766aa796a54074548d9e055e671 /dhall_parser/.gitignore
parent7336787af41adc4dfe650f7c7f10f9c7c3c011db (diff)
Commit script used for dhall-lang#442
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions