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 /.gitignore | |
| parent | 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca (diff) | |
Rename dhall_generator to dhall_proc_macros
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions