diff options
Diffstat (limited to 'games/wesnoth/files/patch-src-server-metrics.hpp')
| -rw-r--r-- | games/wesnoth/files/patch-src-server-metrics.hpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/games/wesnoth/files/patch-src-server-metrics.hpp b/games/wesnoth/files/patch-src-server-metrics.hpp new file mode 100644 index 000000000000..2e0752054826 --- /dev/null +++ b/games/wesnoth/files/patch-src-server-metrics.hpp @@ -0,0 +1,10 @@ +--- src/server/metrics.hpp.orig 2013-11-09 20:10:45.000000000 +0400 ++++ src/server/metrics.hpp 2013-11-09 20:10:50.000000000 +0400 +@@ -27,6 +27,7 @@ + #endif + + #include "simple_wml.hpp" ++#include <time.h> + + class metrics + { |