diff options
author | Nadrieril | 2019-05-04 12:40:48 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-04 12:40:48 +0200 |
commit | 4f04d1e6f02113ad0f539b723333f8f1f5734f13 (patch) | |
tree | 140e2a97597d1f340191c9603313119e6661ec65 /.gitmodules | |
parent | 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca (diff) |
Rename dhall_generator to dhall_proc_macros
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions