Axel Uhl 8b4f4fa7e4 replaced #!/bin/sh by #!/bin/bash to ensure compatibility on Debian-like Linux systems such as Ubuntu

2014-07-16 11:31:14 +02:00

..

refreshInstance.sh

…

sed.exe

…