En Yi 13213414ad Allow name input, change timer format		2018-07-19 18:17:04 +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	Allow name input, change timer format	2018-07-19 18:17:04 +08:00
scoreboard.py	Allow name input, change timer format	2018-07-19 18:17:04 +08:00
sudoku_graphics.py	Fix timer starting too early in first game	2018-07-17 12:31:53 +08:00