From fae1b5c4c2c38133da8caa87ee66abb411ca4af4 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 1 Jul 2015 17:59:05 +0200 Subject: Added Build, Tag, etc in version string and driver/Version.ml should be ignored --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 36372810..107dd3a1 100644 --- a/.gitignore +++ b/.gitignore @@ -41,9 +41,9 @@ cparser/pre_parser.ml cparser/pre_parser.mli lib/Readconfig.ml lib/Tokenize.ml +driver/Version.ml # Documentation doc/coq2html doc/coq2html.ml doc/html doc/html/ - -- cgit