colrev.env.docker_manager
Manages Docker
Classes
| The DockerManager manages everything related to Docker (e.g. building images, running containers). | 
Manages Docker
Classes
| The DockerManager manages everything related to Docker (e.g. building images, running containers). |