Merge pull request #186 from edmaas/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 5 Jan 2017 13:46:40 +0000 (14:46 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 5 Jan 2017 13:46:40 +0000 (14:46 +0100)
Feature: Resource limits for services


Trivial merge