| Wed, 27 Jan 2010 13:33:20 +0000 | Simon Howkins | Added sf-scrub-build, for completely freeing up the resources used by a build (ie deleting it from the HD). | changeset | files |
| Wed, 27 Jan 2010 11:34:26 +0000 | Simon Howkins | Removed check for value of PDT_HOME, as it doesn't matter where it's installed, and it's turning the CI builds red. | changeset | files |