Rik Veenboer 0087f19c03 corrections to scripts

2016-05-14 20:23:22 +01:00

..

build

corrections to scripts

2016-05-14 20:23:22 +01:00

clean

corrections to scripts

2016-05-14 20:23:22 +01:00

enter

corrections to scripts

2016-05-14 20:23:22 +01:00

enter-bash

corrections to scripts

2016-05-14 20:23:22 +01:00

killall

corrections to scripts

2016-05-14 20:23:22 +01:00

make

corrections to scripts

2016-05-14 20:23:22 +01:00

pidenter

corrections to scripts

2016-05-14 20:23:22 +01:00

purge

corrections to scripts

2016-05-14 20:23:22 +01:00

run-bash

corrections to scripts

2016-05-14 20:23:22 +01:00

ssh

corrections to scripts

2016-05-14 20:23:22 +01:00

stopall

corrections to scripts

2016-05-14 20:23:22 +01:00