Skip to content

Commit

Permalink
fix gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
Enrico Tassi committed Apr 2, 2015
1 parent 9335bfa commit 22d788f
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 22d788f

Please sign in to comment.