don't ignore mir_dump folder

RalfJung · RalfJung · commit 7c374cf7d216 · 2019-08-05T22:30:13.000+02:00
diff --git 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
