diff options
| author | Nadrieril | 2019-02-28 21:00:00 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-02-28 21:00:00 +0100 |
| commit | 7b30677613bb8687649473361ce1a826509742a0 (patch) | |
| tree | 995d7302cc47a7ef61172510a347fd251d659a10 /.gitignore | |
| parent | 22a5eac0bfb22bfe27973c78ef0e8a9b418ee844 (diff) | |
Auto-generate pest file from spec abnf
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ src/grammar.rs target +src/dhall.pest |
