this works way better
authorMart Lubbers <mart@martlubbers.net>
Thu, 30 Oct 2014 07:57:03 +0000 (08:57 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 30 Oct 2014 07:57:03 +0000 (08:57 +0100)
commit67221f6cd065547796a15312b6a4876edf8a9cc1
treeb1063d60f01b9b5b8e2b998a898007cf16bb1dfe
parent881210f3219991ad65ab255f335c1dd1870d3b9a
this works way better
report/src/domaintask1.pl
report/src/instancetask1.pl