En Yi 3139356e1f Change to use QTimer instead		2018-07-19 16:47:25 +08:00
..
board.py	Fix timer starting too early in first game	2018-07-17 12:31:53 +08:00
buttons.py	Clean up	2018-07-17 07:49:24 +08:00
menu_graphics.py	Add animation to difficulty selector	2018-07-19 14:32:45 +08:00
scoreboard.py	Change to use QTimer instead	2018-07-19 16:47:25 +08:00
sudoku_graphics.py	Fix timer starting too early in first game	2018-07-17 12:31:53 +08:00