Only sudo rm if necessary
[git-tools-moved-to-github.git] / id-deb-build / in-docker.sh
2016-10-10 Adam DickmeissCreate debs with Docker