Ignore DOT files in .gitignore

2019-10-20 11:03:13 -07:00 · 2019-10-20 11:03:13 -07:00 · efcae577bf
commit efcae577bf
parent c9e361fcd1
1 changed files with 3 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -52,3 +52,6 @@ config.stamp
 Session.vim
 .cargo
 no_llvm_build
+# Generated when dumping Graphviz output for debugging:
+/mir_dump/
+/*.dot