tree 932cc13941b1b5568b1a553c075f7db3fbdca110
parent 4799bda628fe10dee6c1f936f076f46f7076b6f1
author peusterm <manuel.peuster@uni-paderborn.de> 1460910637 -0700
committer peusterm <manuel.peuster@uni-paderborn.de> 1460910637 -0700

Revert "improved resource model logging"