diff options
Diffstat (limited to 'extra/kover/directory.patch')
| -rw-r--r-- | extra/kover/directory.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/extra/kover/directory.patch b/extra/kover/directory.patch deleted file mode 100644 index ce86b7b6c..000000000 --- a/extra/kover/directory.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- directory.cc 2008-11-15 22:59:26.000000000 +0100 -+++ directory_patched.cc 2009-06-02 16:13:46.000000000 +0200 -@@ -9,6 +9,7 @@ - #include <dirent.h> - #include <sys/stat.h> - #include <cstring> -+#include <cstdio> - - directory::directory(string current_dir) - { |