Ignore autogenerated configuration files.

coq-community · Oct 19, 2017 · d0d7355 · d0d7355
1 parent 00b7ef5
commit d0d7355
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@
 doc/*
 .DS_Store
 *.aux
+Makefile.coq.conf