game-end-stuff #29

Merged

lgc merged 3 commits from game-end-stuff into main 2024-12-23 22:13:58 +00:00

Conversation 0 Commits 3 Files Changed 4 +7 -2

3 Commits

Author	SHA1	Message	Date
Luca Conte	175241395e	add docs to makefile	2024-12-23 23:13:11 +01:00
Luca Conte	1b08b39105	don't repaint fields after game end	2024-12-23 23:12:43 +01:00
Luca Conte	8dd697bb66	proper game closing	2024-12-23 23:04:16 +01:00