Added docker-tools from Toolbox

diff --git a/conf/projects.conf b/conf/projects.conf
index 9d2a73299f49aefc6db30294b0045643de1ef629..2b0d6d4b5f548609c0ba51ac4a78f3bba9a6a6e4 100644 (file)
--- a/conf/projects.conf
+++ b/conf/projects.conf
@@ -56,3 +56,4 @@
 @allrepos = fluidbook_processfarm
 @allrepos = svn
 @allrepos = cubeextranet
+@allrepos = docker-tools