diff --git a/INSTALL b/INSTALL deleted file mode 100644 index 3083f1afd..000000000 --- a/INSTALL +++ /dev/null @@ -1 +0,0 @@ -See README