Darko Poljak 62378dc8b9 Change shebang to #!/bin/sh -e		2017-06-28 13:19:32 +02:00
..
explorer	bugfix for whitespace stripping, its no more simple	2014-03-21 09:35:47 +01:00
files	checkbashisms	2016-03-30 12:43:59 +02:00
parameter	corrected some debug codesnips	2014-02-27 15:47:19 +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
manifest	Change shebang to #!/bin/sh -e	2017-06-28 13:19:32 +02:00