Darko Poljak 62378dc8b9 Change shebang to #!/bin/sh -e		2017-06-28 13:19:32 +02:00
..
explorer	correct date of c	2014-06-25 00:18:41 +02:00
parameter	rename parameter repo_uri to uri as requested by nico	2014-04-14 19:14:29 +02:00
gencode-remote	Change shebang to #!/bin/sh -e	2017-06-28 13:19:32 +02:00
man.rst	GPLv3+ relicensing.	2016-08-12 21:58:44 +02:00