From 20a3da9a0e3a71efc8be54328526fd7ea82ea6ef Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 31 Jan 2018 14:57:47 -0500
Subject: [PATCH] Update `./gitignore`

---
 .gitignore | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index aa9e91f153..0ba45dd349 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,2 @@
 /build/
 /install/
-
-
-# created by a failed build
-/tmp*