| commit | eb1f798a7f62978aae36be19a95d6ec1c2f09e21 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 09:30:37 2016 -0700 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sun Apr 17 09:30:37 2016 -0700 |
| tree | 932cc13941b1b5568b1a553c075f7db3fbdca110 | |
| parent | 4799bda628fe10dee6c1f936f076f46f7076b6f1 [diff] |
Revert "improved resource model logging"