Paul Bienkowski dec165341b Clean usernames of invalid characters when the users receive their name from the login server		2022-09-26 11:53:54 +02:00
..
api	Clean usernames of invalid characters when the users receive their name from the login server	2022-09-26 11:53:54 +02:00
bin	Fix logging and use coloredlogs for nicer output	2022-02-18 11:15:00 +01:00
__init__.py	Move API to python.	2021-11-22 09:50:33 +01:00