4 commits

Author	SHA1	Message	Date
Benedikt Heine	16aad7f4c5	Adapt shebangs ... Convert all shebangs to /usr/bin/env bash, if bash is really required in the script. Otherwise convert it to /bin/sh. /bin/bash is not available on all systems, while /usr/bin/env bash and /bin/sh are.	2018-05-29 00:02:00 +02:00
Felix Buehler	6d5a313769	[clean] remove duplicate in aliases	2018-03-17 15:20:12 +01:00
Felix Buehler	c43869f41c	updated docker-clean command ... thanks to @bebehei	2017-05-30 21:40:32 +02:00
Felix Buehler	2630126852	bin/clean.sh: added	2017-05-03 23:12:13 +02:00