shortcutme d778f2a989 Try to find peers for optional files again if workers failed		2016-09-04 18:03:27 +02:00
..
__init__.py	First release, remove not used lines from gitignore	2015-01-12 02:03:45 +01:00
Worker.py	Less verbose logging	2016-04-06 13:39:17 +02:00
WorkerManager.py	Try to find peers for optional files again if workers failed	2016-09-04 18:03:27 +02:00