summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-05-04 12:40:48 +0200
committerNadrieril2019-05-04 12:40:48 +0200
commit4f04d1e6f02113ad0f539b723333f8f1f5734f13 (patch)
tree140e2a97597d1f340191c9603313119e6661ec65 /.gitignore
parent45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca (diff)
Rename dhall_generator to dhall_proc_macros
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions