diff options
| author | Georges Gonthier | 2015-12-04 15:27:04 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:27:04 +0000 |
| commit | e22704b1c0bd58d7d15a85e5dd0487a056099ad3 (patch) | |
| tree | 9fc01705558a18330633bdc8cccc95d3d5ed93fa | |
| parent | 19ac0629d643f85ed1ec2db86f991c848ef3bbbd (diff) | |
Ignore emacs checkpoints
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -17,3 +17,4 @@ mathcomp/ssrmatching.ml4 mathcomp/ssrmatching.mli mathcomp/ssreflect.mllib mathcomp-*.tar.gz +*# |