summaryrefslogtreecommitdiff
path: root/dhall_syntax/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-12-15 19:50:15 +0000
committerNadrieril2019-12-15 19:50:15 +0000
commitec761bbd0de807bf1cb0da9389d714e3d812dd6d (patch)
tree2313e16ad60995fcdc697f26e51a8ea8e294ac4c /dhall_syntax/.gitignore
parent7abd49772643ee4e131ef47de66db22ba7c1e037 (diff)
fixup! Reexport dhall_syntax as a module in dhall
Diffstat (limited to 'dhall_syntax/.gitignore')
0 files changed, 0 insertions, 0 deletions