fix create_prefix.pl
[spider.git] / cmd / nospawn.pl
2020-04-16 Dirk Koopmannospawnify some of the commands