Wed, 05 Oct 2016 11:13:02 +0200 | wenzelm | clean output dir for fresh rebuild; | changeset | files |
Wed, 05 Oct 2016 11:05:41 +0200 | wenzelm | allow multiline script; | changeset | files |
Wed, 05 Oct 2016 10:43:52 +0200 | wenzelm | clarified sanity checks; | changeset | files |