From 5a3f89ccf5ba427b2b94887c146c09f50b7260a6 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sun, 29 Apr 2018 14:54:22 +0100
Subject: [PATCH] Tweak .gitignore

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

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