Merge pull request #79 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Sun, 17 Apr 2016 01:13:58 +0000 (18:13 -0700)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Sun, 17 Apr 2016 01:13:58 +0000 (18:13 -0700)
Resource model logging


Trivial merge