shortcutme 43e6f374fa Don't increase priority when addTask called again		2017-10-03 15:49:52 +02:00
..
__init__.py	First release, remove not used lines from gitignore	2015-01-12 02:03:45 +01:00
Worker.py	Catch and log exact verification errors on worker download	2017-06-19 16:10:49 +02:00
WorkerManager.py	Don't increase priority when addTask called again	2017-10-03 15:49:52 +02:00