Merge pull request #73 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Apr 2016 15:04:24 +0000 (17:04 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Apr 2016 15:04:24 +0000 (17:04 +0200)
commitd2cd2adb7aa5c94446d31010247fe4faa5542220
treed116d2b91b08b20dd5f99cc524dea77d8d761c5a
parent99afc9dbfa6ec7eb50a0734a24fc33842995ad64
parent13e8277bdd786b6524d2225af1395cfa9f358401
Merge pull request #73 from mpeuster/master

improved resource logging