From 79145fa0c7b554112f44a4fefc19615d06e83d8c Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@google.com>
Date: Fri, 15 Dec 2017 14:00:14 -0500
Subject: organize .gitignore

---
 .gitignore | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 6fe714950..d2d6c5daf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,13 +1,29 @@
-*#
+# vim
+[._]*.s[a-v][a-z]
+[._]*.sw[a-p]
+[._]s[a-v][a-z]
+[._]sw[a-p]
+
+# emacs
+*~
+\#*\#
+/.emacs.desktop
+/.emacs.desktop.lock
+*.elc
+auto-save-list
+tramp
+.\#*
+
+# coq
 *.aux
 *.d
 *.glob
 *.vio
 *.vo
-*~
-.#*
+CoqMakefile.conf
 Makefile.bak
 Makefile.coq
+Makefile.coq.conf
 Makefile.coq.bak
 Makefile-old.conf
 csdp.cache
@@ -20,6 +36,7 @@ nra.cache
 .nlia.cache
 .nia.cache
 .nra.cache
+
 /remake_curves.log
 
 # compilation outputs
-- 
cgit v1.2.3