Jakub Trllo 312d3c96ab Merge branch 'develop' into feature/advanced_rest_api		2019-10-31 23:35:28 +01:00
..
idle_manager	enhanced signal dictionary creating	2019-10-30 10:44:47 +01:00
rest_api	removed statics server since rest api server can handle statics too	2019-10-24 15:25:45 +02:00
timers_manager	fixed variable naming	2019-07-23 18:18:20 +02:00
__init__.py	added idle manager as service that checks users idle time	2019-03-20 09:13:04 +01:00