Christoph Schütte faa21f4234 Make ros_pkg configurable for Jenkins workers (#740) ... * Make ros_pkg configurable for Jenkins workers		2018-02-27 15:00:59 +01:00
..
Dockerfile.kinetic	Make ros_pkg configurable for Jenkins workers (#740)	2018-02-27 15:00:59 +01:00
jenkins-slave	Fix bug in jenkins-slave (#560)	2017-10-27 14:35:33 +02:00
worker.py	Make ros_pkg configurable for Jenkins workers (#740)	2018-02-27 15:00:59 +01:00