From d602663060fdb9610a8024b8a4a856899cbfa1d7 Mon Sep 17 00:00:00 2001
From: Scott Lystig Fritchie <slfritchie@snookles.com>
Date: Fri, 18 Dec 2015 13:43:18 +0900
Subject: [PATCH] Ignore RUNLOG*

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

diff --git a/.gitignore b/.gitignore
index 0f6b627..3af54ff 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,5 +25,6 @@ rel/machi
 *.patch
 current_counterexample.eqc
 foo*
+RUNLOG*
 typescript*
 *.swp