diff options
Diffstat (limited to 'devel/pike/INSTALL')
-rwxr-xr-x | devel/pike/INSTALL | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/pike/INSTALL b/devel/pike/INSTALL deleted file mode 100755 index 6293abcbe9..0000000000 --- a/devel/pike/INSTALL +++ /dev/null @@ -1 +0,0 @@ - make install_nodoc |