diff options
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -7,3 +7,8 @@ *.a *.o Make*.coq +Make*.coq.bak +mathcomp/ssreflect/ssreflect.ml4 +mathcomp/ssreflect/ssrmatching.ml4 +mathcomp/ssreflect/ssrmatching.mli +mathcomp/ssreflect/ssreflect.mllib |