bug-fix: make CLI available by adding docker operations 03/41903/2
[bottlenecks.git] / docker /
drwxr-xr-x   ..
-rw-r--r-- 1584 Dockerfile
-rw-r--r-- 3451 docker_cleanup.sh