75 |
char board_default_colors [9] = {215, 215, 215, 215, 215, 215, 0, 0, 0}; |
75 |
char board_default_colors [9] = {215, 215, 215, 215, 215, 215, 0, 0, 0}; |
79 |
extern void ui_make_human_move (byte *move, int *rmove); |
79 |
extern void ui_make_human_move (byte *move, int *rmove); |
833 |
help_items[0].path = g_strdup_printf ("/Help/%s", opt_game->name); |
833 |
help_items[0].path = g_strdup_printf ("/Help/%s", opt_game->name); |