| commit | 8bbc228eb4402eea1087b4e918f44f80a7ad2624 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 18:29:12 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 18:29:12 2016 +0200 |
| tree | 1b0e9d056e1a0f961b2f02528e7c1922e84e7f71 | |
| parent | 74df3cccdfe2e8171d38645ee8de961c57e26bbe [diff] |
improved resource model logging