Update ./gitignore

MLton · Jan 31, 2018 · 20a3da9 · 20a3da9
1 parent 373a89a
commit 20a3da9
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,2 @@
 /build/
 /install/
-
-
-# created by a failed build
-/tmp*