summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-12-22 18:38:05 +0000
committerNadrieril2019-12-22 18:38:05 +0000
commit54d7e61ad40682ee24e36288980ee4164ea87c34 (patch)
tree29c2fa76d225fee479a748b5dbdca0f9bb8a4acc /.gitignore
parentfa6de4c077ab4f1c28d2ec64a33a3be8c5a9bb1c (diff)
Update dhall-lang submodule
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions