From 87dd6f82e4d65f437b8748d495f6fca17f540ce9 Mon Sep 17 00:00:00 2001
From: Toric <gabevenberg@gmail.com>
Date: Wed, 3 Apr 2019 11:03:38 -0500
Subject: [PATCH] updated .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 7dbd017..9a72032 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@
 *.cb
 *.cb2
 .*.lb
+.*tmp
 
 ## Intermediate documents:
 *.dvi