From eaa59161dc536642e09bbd66f02b388dbf07a760 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Tue, 25 Aug 2015 16:14:36 -0400
Subject: [PATCH] Ignore scratch dir

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

diff --git a/.gitignore b/.gitignore
index 724bbe1..b20942e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 compiled/
+scratch/