Milan Kolar 63ec81b132 Merge pull request #785 from pypeclub/3.0/deadline_from_settings ... Deadline: use settings instead of environment variables		2020-12-04 16:15:20 +01:00
..
settings	Merge pull request #785 from pypeclub/3.0/deadline_from_settings	2020-12-04 16:15:20 +01:00
__init__.py	renamed config_setting to settings	2020-09-14 12:21:55 +02:00
__main__.py	simple version of user role in settings gui	2020-11-17 15:44:16 +01:00