diff options
Diffstat (limited to 'games/pioneers/files/patch-common_game.h')
-rw-r--r-- | games/pioneers/files/patch-common_game.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/pioneers/files/patch-common_game.h b/games/pioneers/files/patch-common_game.h new file mode 100644 index 000000000000..86f2601280ae --- /dev/null +++ b/games/pioneers/files/patch-common_game.h @@ -0,0 +1,11 @@ +--- common/game.h.orig 2018-03-14 13:44:46 UTC ++++ common/game.h +@@ -137,7 +137,7 @@ typedef enum { + typedef void (*WriteLineFunc) (gpointer user_data, const gchar *); + + /** Default style for a player. */ +-const gchar *default_player_style; ++extern const gchar *default_player_style; + + GameParams *params_new(void); + GameParams *params_copy(const GameParams * params); |