Merge pull request #80 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Sun, 17 Apr 2016 16:30:25 +0000 (09:30 -0700)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Sun, 17 Apr 2016 16:30:25 +0000 (09:30 -0700)
improved resource model logging


Trivial merge