| Thu, 26 May 2016 14:35:07 +0200 | pesch | with tempfile that removes on exit of script, but not when script dies or is killed - have to fix it | changeset | files |
| Thu, 26 May 2016 12:27:22 +0200 | pesch | with build | changeset | files |
| Wed, 11 May 2016 23:41:32 +0200 | pesch | removed unnecessary things | changeset | files |