diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 10:50:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee (patch) | |
tree | a5010aed6f4b186beb866110ec21d429dfc4c002 /.gitignore | |
parent | 8b76e2ecdd355e0088fd0542d5acd492a6a89ec2 (diff) | |
download | compcert-kvx-d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee.tar.gz compcert-kvx-d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee.zip |
We can ignore the generated automation. Bug 17392
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -37,6 +37,7 @@ cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml cparser/pre_parser.mli +cparser/pre_parser.automaton lib/Readconfig.ml lib/Tokenize.ml driver/Version.ml |