tree 52e34943a89db918d3af9ec59171d72420a41cc1
parent 9e8ebdb71ad792cfdb195159a95dce631f9fd75b
parent dd318382c3522250d68fbc9d9c3c09fa97ec3eb5
author peusterm <manuel.peuster@uni-paderborn.de> 1468496867 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1468496867 +0200

Merge pull request #135 from mpeuster/master

Cleanup for 0.9 release