| commit | 4799bda628fe10dee6c1f936f076f46f7076b6f1 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 09:30:25 2016 -0700 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 09:30:25 2016 -0700 |
| tree | 1b0e9d056e1a0f961b2f02528e7c1922e84e7f71 | |
| parent | 71e56765bc53fe0882b57a438db3c099247f0b96 [diff] | |
| parent | 8bbc228eb4402eea1087b4e918f44f80a7ad2624 [diff] |
Merge pull request #80 from mpeuster/master improved resource model logging