joerg 84d8d3d6c1 Fix bash scripts to use a normal shell.		2017-07-03 13:04:01 +00:00
..
DESCR
Makefile	Fix bash scripts to use a normal shell.	2017-07-03 13:04:01 +00:00
PLIST