tom 085b2a2b10 remove `set -e` on explorers (they should be able to fail gracefully)		2018-10-04 17:38:39 +02:00
..
explorer	remove `set -e` on explorers (they should be able to fail gracefully)	2018-10-04 17:38:39 +02:00
parameter	new type: __daemontools_service	2017-05-29 16:23:24 +02:00
man.rst	WHY can't I write a man page?	2017-06-01 23:01:03 +02:00
manifest	Change shebang to #!/bin/sh -e	2017-06-28 13:19:32 +02:00