From bb20f919c324c549b4c0574a987ddf665692e669 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 25 Oct 2016 16:36:17 +0200
Subject: Added INSTALL.md, incorporating INSTALL + installing page from
 website.

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 0e2686c83..26be741eb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,6 @@
 dist/*
 MANUAL.*
 !MANUAL.txt
-INSTALL.*
 .configure-stamp
 .cabal-sandbox
 cabal.sandbox.config
-- 
cgit v1.2.3