diff options
| author | Nadrieril | 2019-12-15 19:42:57 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-12-15 19:42:57 +0000 |
| commit | 929a34c177f8b18ae791f77bbd4630a862fb1070 (patch) | |
| tree | 2b637a803ba1d833545927363f8963b2d2849956 /.gitignore | |
| parent | 4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff) | |
Reexport dhall_syntax as a module in dhall
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions