[#31] Edit player names (in-game + setup)#37

javaisbetterthanpython merged 4 commits into

mainjavaisbetterthanpython/jumbled-doubles-enhanced:mainfrom

issue-31-edit-player-namesjavaisbetterthanpython/jumbled-doubles-enhanced:issue-31-edit-player-namesCopy head branch name to clipboard