diff options
| author | Enrico Tassi | 2015-04-02 14:35:39 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-04-02 14:35:39 +0200 |
| commit | 22d788f795a60367af19716d190841a2f7f31176 (patch) | |
| tree | d0eeb9d70a728cad1c788b2d651b0c44231f3a9a /.gitignore | |
| parent | 9335bfaf04dfffa880f461392106f5c3b7f6ce16 (diff) | |
fix gitignore
Diffstat (limited to '.gitignore')
| -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 |