Darko Poljak 62378dc8b9 Change shebang to #!/bin/sh -e		2017-06-28 13:19:32 +02:00
..
explorer	remove obsolete todos ... people believe they still need to be fixed!	2014-06-26 17:11:35 +02:00
parameter	new type to manage a block of text in a file	2014-01-14 21:43:50 +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