diff options
Diffstat (limited to 'devel/ddd/files/extra-patch-configure-gcc33')
| -rw-r--r-- | devel/ddd/files/extra-patch-configure-gcc33 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/ddd/files/extra-patch-configure-gcc33 b/devel/ddd/files/extra-patch-configure-gcc33 deleted file mode 100644 index 46ec3865caba..000000000000 --- a/devel/ddd/files/extra-patch-configure-gcc33 +++ /dev/null @@ -1,10 +0,0 @@ ---- configure.orig Fri Apr 9 15:32:46 2004 -+++ configure Fri Apr 9 15:33:05 2004 -@@ -4871,6 +4871,7 @@ - #line $LINENO "configure" - #include "confdefs.h" - #include <iostream> -+#include <fstream> - #ifdef F77_DUMMY_MAIN - # ifdef __cplusplus - extern "C" |