Fix jenkins remote-installer docker build
[ta/remote-installer.git] / scripts / stop.sh
2019-05-15 Ralf MuellerInitial version 05/705/1