Elnath b4bad89089 Game: messages with player mentions now have permission to ping players to fix undefined-user problem on mobile		2021-06-21 23:27:02 +02:00
..
Game.py	Game: messages with player mentions now have permission to ping players to fix undefined-user problem on mobile	2021-06-21 23:27:02 +02:00
GamesFile.py	GamesFile: added debug log	2021-06-20 21:44:05 +02:00
__init__.py	Draw and enact policies for legislative step	2021-06-11 00:45:13 +02:00