tree 50fdd3a1a1ebc3c39cc57d8d757d29e6ff27c248
parent 0dcb2a13c68dc5a91bd6330d4c37df604630b9ac
parent 862cc9785616b9d0af576749eb4e843f1c126e75
author peusterm <manuel.peuster@uni-paderborn.de> 1468943902 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1468943902 +0200

Merge pull request #145 from mpeuster/master

Cleanup: Environment cleanup mechanisms. Closes #139