7 commits

Author	SHA1	Message	Date
Felix Buehler	9df440bdde	update submodules	2020-11-06 14:47:41 +01:00
Felix Buehler	3acf1bcf93	[bash/bashrc] increase	2020-09-09 14:32:54 +02:00
Felix Buehler	0d02640fba	[submodules] update all	2020-05-17 16:11:47 +02:00
Felix Buehler	f44ce86f53	[submodules*] update	2018-06-18 18:28:28 +02:00
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	6b471da4cd	update submodules	2017-07-06 15:48:12 +02:00
Felix Buehler	86a1da2632	initial commit	2017-01-26 13:48:55 +01:00