Merge "Corrected Docker Files"
[optf/has.git] / conductor / docker /
drwxr-xr-x   ..
drwxr-xr-x - api
-rwxr-xr-x 297 build-dockers.sh
-rw-r--r-- 10327 conductor.conf
drwxr-xr-x - controller
drwxr-xr-x - data
-rwxr-xr-x 1459 push-dockers.sh
drwxr-xr-x - reservation
-rwxr-xr-x 430 run-dockers.sh
drwxr-xr-x - solver
-rwxr-xr-x 314 stop-dockers.sh