From 41a4028c3b2787acce0c6da6091648a248ecd440 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 10 Feb 2016 08:48:43 +0100
Subject: [PATCH] ignore some tmp emacs files

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

diff --git a/.gitignore b/.gitignore
index a6c7e3145..fad347ff1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.cache
 *.aux
 \#*\#
+.\#*
 *~
 *.bak
 .coq-native/
-- 
GitLab