diff options
Diffstat (limited to 'www/wcol/files/patch-ae')
| -rw-r--r-- | www/wcol/files/patch-ae | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/www/wcol/files/patch-ae b/www/wcol/files/patch-ae deleted file mode 100644 index 2c5acbee73ee..000000000000 --- a/www/wcol/files/patch-ae +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Sun Jul 12 20:36:14 1998 -+++ configure Sun Jul 12 20:35:57 1998 -@@ -2197,7 +2197,7 @@ - EOF - cat >> $CONFIG_STATUS <<EOF - --CONFIG_FILES=\${CONFIG_FILES-"Makefile"} -+CONFIG_FILES=\${CONFIG_FILES-"Makefile ../admin/killwcol"} - EOF - cat >> $CONFIG_STATUS <<\EOF - for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |