New, lovely octagon targets from Richard.

[grrobot] / .gitignore

diff --git a/.gitignore b/.gitignore
index d88a325ea73f3e232f5e27fcdcc793a8f669acd4..43b89a7c57a3bdccf7a27bd979305f97e8be391b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,7 +7,6 @@ config.log
 config.status
 config.sub
 configure
-INSTALL
 install-sh
 Makefile
 Makefile.in