Darko Poljak 62378dc8b9 Change shebang to #!/bin/sh -e		2017-06-28 13:19:32 +02:00
..
explorer	checkbashisms	2016-03-30 12:43:59 +02:00
parameter	little changes for using default parameters correctly	2014-02-03 21:43:39 +01:00
gencode-remote	Change shebang to #!/bin/sh -e	2017-06-28 13:19:32 +02:00
man.rst	GPLv3+ relicensing.	2016-08-10 18:15:54 +02:00