Added generated file to ignore file

cccf4c43 · Taddeüs Kroes · eb6d2e30 · cccf4c43
Commit cccf4c43 authored Oct 02, 2014 by Taddeüs Kroes
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitignore .gitignore +1 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ parser.ml
 parser.mli
 parser.conflicts
 parser.automaton
+README.html