sudoku_finished   607 modules/games/gui_sudoku.c 	if (sudoku_finished(*mess))
sudoku_finished   889 modules/games/gui_sudoku.c 			if (sudoku_follows_rules(*user) & sudoku_finished(*user)) gui_mbox_init(LANG_SUDOKU_CONGRATULATIONS, LANG_SUDOKU_YOU_DID_IT, MBOX_TEXT_CENTER, NULL);
sudoku_finished   948 modules/games/gui_sudoku.c 				if (sudoku_finished(&user[0][0])){