diff options
Diffstat (limited to 'games-board/pioneers/files/pioneers-15.5-fno-common.patch')
| -rw-r--r-- | games-board/pioneers/files/pioneers-15.5-fno-common.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/games-board/pioneers/files/pioneers-15.5-fno-common.patch b/games-board/pioneers/files/pioneers-15.5-fno-common.patch deleted file mode 100644 index 5d8522b772ec..000000000000 --- a/games-board/pioneers/files/pioneers-15.5-fno-common.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up a/common/game.h.me b/common/game.h ---- a/common/game.h.me 2020-02-06 12:05:24.472403768 +0100 -+++ b/common/game.h 2020-02-06 12:05:45.662644226 +0100 -@@ -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); |