From f60082946c4a41c2f377c68dc1c7776cd505dad1 Mon Sep 17 00:00:00 2001
From: Alexander Vdolainen <avdolainen@zoho.com>
Date: Wed, 23 May 2018 18:22:37 +0300
Subject: [PATCH] INSTALL now ignored;

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

diff --git a/.gitignore b/.gitignore
index 05a3327..c072a69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -40,4 +40,5 @@ coq
 compile
 test-driver
 \#*
+INSTALL