From c645ecd0a6d2d0996f0a9ae771ad580300a96786 Mon Sep 17 00:00:00 2001
From: David Wood <david@davidtw.co>
Date: Sun, 22 Jul 2018 13:14:06 +0100
Subject: [PATCH] Added new lines to .gitignore.

---
 .gitignore | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2f65ee3e777..9ffaa82e1c8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -86,15 +86,18 @@ __pycache__/
 target/
 /test/
 /tmp/
+tags
+tags.*
 TAGS
-TAGS.emacs
-TAGS.vi
+TAGS.*
 \#*
 \#*\#
 config.mk
 config.stamp
 keywords.md
 lexer.ml
+mir_dump
+Session.vim
 src/etc/dl
 tmp.*.rs
 version.md