Unimportant stuff.

[mmh] / .gitignore

diff --git a/.gitignore b/.gitignore
index a3dc4a2..6cdc7b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -39,7 +39,6 @@
 /uip/folder
 /uip/forw
 /uip/inc
-/uip/install-mh
 /uip/mark
 /uip/mhbuild
 /uip/mhl