From d000fe3f6df676596b5371f9760cdf0b2922ea11 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 14 Feb 2017 16:12:55 +0100 Subject: Removed CMinor import. Bug 20992 --- .gitignore | 4 ---- 1 file changed, 4 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index fd993627..1d1ff9df 100644 --- a/.gitignore +++ b/.gitignore @@ -38,9 +38,6 @@ arm/SelectOp.v arm/SelectLong.v backend/SelectDiv.v backend/SplitLong.v -backend/CMlexer.ml -backend/CMparser.ml -backend/CMparser.mli cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml @@ -53,7 +50,6 @@ cparser/handcrafted.messages.raw cparser/deLexer cparser/tests/generated/*.c cparser/tests/generated/*.err -backend/CMparser.automaton lib/Readconfig.ml lib/Tokenize.ml lib/Responsefile.ml -- cgit