Lephe 4cefe39c36 trophies: automatically remove undeserved trophies ... ... and other minor edits from the trophies branch.		2019-08-19 17:26:22 +02:00
..
contents.py	Quelques changements pour respecter la PEP8	2019-06-05 01:44:38 +02:00
privs.py	Quelques changements pour respecter la PEP8	2019-06-05 01:44:38 +02:00
trophies.py	trophies: automatically remove undeserved trophies	2019-08-19 17:26:22 +02:00
users.py	trophies: automatically remove undeserved trophies	2019-08-19 17:26:22 +02:00