From 7c374cf7d2169e55c7cc267d4726b38cb068ede3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 5 Aug 2019 22:30:13 +0200
Subject: [PATCH] don't ignore mir_dump folder

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 87fec414152..b53b06b03ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,7 +52,6 @@ config.mk
 config.stamp
 keywords.md
 lexer.ml
-mir_dump
 Session.vim
 src/etc/dl
 tmp.*.rs