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 |