Christoph Hagen 3c4d1f0e29 Update player points when game ends		2022-10-18 11:40:08 +02:00
..
Configuration.swift	Specify production setting in configuration	2022-10-13 12:25:51 +02:00
SQLiteDatabase.swift	Update player points when game ends	2022-10-18 11:40:08 +02:00
TableManagement.swift	Update player points when game ends	2022-10-18 11:40:08 +02:00