ignored files in drivers/

5baf128f · Jean-Christophe Filliâtre · 3859f656 · 5baf128f
Commit 5baf128f authored Feb 24, 2012 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

.gitignore .gitignore +3 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -157,6 +157,9 @@ why3.conf
 /plugins/tptp/tptp_parser.mli
 /plugins/tptp/tptp_parser.output

+# /drivers
+/drivers/coq-realizations.aux
+
 # /tests/
 /tests/test-jcf/
 /tests/test-pgm-jcf/