diff options
Diffstat (limited to 'games/widelands/files/patch-src-journal__exceptions.h')
| -rw-r--r-- | games/widelands/files/patch-src-journal__exceptions.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/games/widelands/files/patch-src-journal__exceptions.h b/games/widelands/files/patch-src-journal__exceptions.h deleted file mode 100644 index 6f850c0a2057..000000000000 --- a/games/widelands/files/patch-src-journal__exceptions.h +++ /dev/null @@ -1,10 +0,0 @@ ---- src/journal_exceptions.h.orig 2012-04-23 13:46:49.000000000 +0400 -+++ src/journal_exceptions.h 2013-09-13 21:33:33.010227122 +0400 -@@ -22,6 +22,7 @@ - - #include <stdint.h> - #include <stdexcept> -+#include <string> - - /// - /// Thrown for IO-errors occurring with a journal file (unable to open file |