diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2020-07-27 18:53:37 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2020-07-27 18:53:37 +0000 |
| commit | 29d4529d95d87f64febe2dfd146bf4ec3e452308 (patch) | |
| tree | 52502ebcffbe471c31ab1b824c25596922a33851 /games/widelands/files/patch-src_wui_savegamedata.h | |
| parent | Remove expired port: (diff) | |
- Update to build21
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, 10 insertions, 0 deletions
diff --git a/games/widelands/files/patch-src_wui_savegamedata.h b/games/widelands/files/patch-src_wui_savegamedata.h new file mode 100644 index 000000000000..9728e1d703a1 --- /dev/null +++ b/games/widelands/files/patch-src_wui_savegamedata.h @@ -0,0 +1,10 @@ +--- 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" |