From e22704b1c0bd58d7d15a85e5dd0487a056099ad3 Mon Sep 17 00:00:00 2001
From: Georges Gonthier
Date: Fri, 4 Dec 2015 15:27:04 +0000
Subject: Ignore emacs checkpoints

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index d10613b..ec03531 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ mathcomp/ssrmatching.ml4
 mathcomp/ssrmatching.mli
 mathcomp/ssreflect.mllib
 mathcomp-*.tar.gz
+*#
-- 
cgit v1.2.3