summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-02-28 21:00:00 +0100
committerNadrieril2019-02-28 21:00:00 +0100
commit7b30677613bb8687649473361ce1a826509742a0 (patch)
tree995d7302cc47a7ef61172510a347fd251d659a10 /.gitignore
parent22a5eac0bfb22bfe27973c78ef0e8a9b418ee844 (diff)
Auto-generate pest file from spec abnf
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 3ad9015..aa25c81 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
src/grammar.rs
target
+src/dhall.pest