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)
commit4799bda628fe10dee6c1f936f076f46f7076b6f1
tree1b0e9d056e1a0f961b2f02528e7c1922e84e7f71
parent71e56765bc53fe0882b57a438db3c099247f0b96
parent8bbc228eb4402eea1087b4e918f44f80a7ad2624
Merge pull request #80 from mpeuster/master

improved resource model logging