Jörg Thalheim b5681b1ea0 remove incorrect skip if path exists ... the path might exists also the build failed		2023-10-13 00:38:57 +02:00
..
buildbot_nix.py	remove incorrect skip if path exists	2023-10-13 00:38:57 +02:00
github_projects.py	add option to reload github projects	2023-10-12 23:58:59 +02:00
worker.py	worker: move global variables to config class	2023-09-15 09:09:41 +02:00