Merge pull request #73 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Apr 2016 15:04:24 +0000 (17:04 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Apr 2016 15:04:24 +0000 (17:04 +0200)
improved resource logging


Trivial merge