Thu, 26 May 2016 14:35:07 +0200 with tempfile that removes on exit of script, but not when script dies or is killed - have to fix it
pesch [Thu, 26 May 2016 14:35:07 +0200] rev 9
with tempfile that removes on exit of script, but not when script dies or is killed - have to fix it
Thu, 26 May 2016 12:27:22 +0200 with build
pesch [Thu, 26 May 2016 12:27:22 +0200] rev 8
with build
Wed, 11 May 2016 23:41:32 +0200 removed unnecessary things
pesch [Wed, 11 May 2016 23:41:32 +0200] rev 7
removed unnecessary things
(0) -3 +3 +10 +30 tip