diff options
Diffstat (limited to 'games/widelands/files/patch-src_wui_savegamedata.h')
| -rw-r--r-- | games/widelands/files/patch-src_wui_savegamedata.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/games/widelands/files/patch-src_wui_savegamedata.h b/games/widelands/files/patch-src_wui_savegamedata.h deleted file mode 100644 index 9728e1d703a1..000000000000 --- a/games/widelands/files/patch-src_wui_savegamedata.h +++ /dev/null @@ -1,10 +0,0 @@ ---- src/wui/savegamedata.h.orig 2020-07-12 19:33:44 UTC -+++ src/wui/savegamedata.h -@@ -2,6 +2,7 @@ - #define WL_WUI_SAVEGAMEDATA_H - - #include <string> -+#include <ctime> - - #include "io/filesystem/filesystem.h" - #include "logic/game_controller.h" |