Update .gitignore with editor temp files. Remove editor temp files.

amgadani · May 17, 2018 · 5a0f6d8 · 5a0f6d8
1 parent 4100a9a
commit 5a0f6d8
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 72 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,7  1,15 @@
 # -*- mode: gitignore; -*-
 
 .cabal-sandbox
 cabal.sandbox.config
 dist
 cabal
 *.o
 *.hi
 .stack-work
 
 # text editor temp files
 *~
 \#*\#
 .\#*
 
diff --git a/doc/book/.#index.md b/doc/book/.#index.md
diff --git a/doc/book/index.md~ b/doc/book/index.md~
diff --git a/tutorial/tutorial.md~ b/tutorial/tutorial.md~