summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2021-01-22 19:11:23 +0000
committerNadrieril2021-01-22 19:11:23 +0000
commit11ff03a8113580244ced04a8b370ab6192b8e413 (patch)
tree47782b629686974ffa72a79715be9199997e4062 /.gitignore
parent6fd075204e0869a72b0b8f86985ec30f2dcd4a13 (diff)
doc: document the `dhall` usage test
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions