diff options
| author | Georges Gonthier | 2018-11-13 15:01:59 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2018-11-13 15:01:59 +0100 |
| commit | d7eb1ba8b86eebc743e3d419532127b77c6e91cc (patch) | |
| tree | 031d6f128956943fe33b91711f6042b92e01bb16 /.gitignore | |
| parent | c6752029e2a43766a62e5059d7849ec971176452 (diff) | |
Ignore generated Makefile.coq.conf
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,6 +9,7 @@ *.o Make*.coq Make*.coq.bak +Make*.coq.conf mathcomp/ssreflect/ssreflect.ml4 mathcomp/ssreflect/ssrmatching.ml4 mathcomp/ssreflect/ssrmatching.mli |