fancsali 2db40d8d70 Use $__remote_exec and thus the ssh multiplexing		2021-06-28 12:54:20 +02:00
..
parameter	- added COPYING info	2015-06-10 16:50:18 +02:00
gencode-local	Use $__remote_exec and thus the ssh multiplexing	2021-06-28 12:54:20 +02: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