Skip to content

Commit

Permalink
Ignore emacs checkpoints
Browse files Browse the repository at this point in the history
  • Loading branch information
Georges Gonthier committed Dec 4, 2015
1 parent 19ac062 commit e22704b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,3 +17,4 @@ mathcomp/ssrmatching.ml4
mathcomp/ssrmatching.mli
mathcomp/ssreflect.mllib
mathcomp-*.tar.gz
*#

0 comments on commit e22704b

Please sign in to comment.