Ignore Emacs backup and temporary files.

icehess · Jun 16, 2021 · 11d78fe · 11d78fe
1 parent 0612167
commit 11d78fe
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -24,3 +24,8 @@ current_counterexample.eqc
 *.log
 *.log.*
 doc
+# Emacs Backup files
+*~
+# Emacs temporary files
+.#*
+*#