Christoph Schütte f6a8903a40 Garbage collect scratch dir left-overs. (#573)		2017-11-06 13:21:35 +01:00
..
Dockerfile.kinetic	Adds a worker script for running quality control jobs. (#562)	2017-10-30 16:24:12 +01:00
jenkins-slave	Fix bug in jenkins-slave (#560)	2017-10-27 14:35:33 +02:00
worker.py	Garbage collect scratch dir left-overs. (#573)	2017-11-06 13:21:35 +01:00