clean_docker_container.sh
changeset 114 9def1a3011ed
parent 37 fd09116d3537