tree f3609fc78bd4139a32b291af42afcf0738906052
parent 581bb196e383ec7b6c01b834688b741d8b9e5a34
parent 8569ff4c92744958851423793e273cfb49dd1090
author peusterm <manuel.peuster@uni-paderborn.de> 1468014172 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1468014172 +0200

Merge pull request #133 from mpeuster/master

Preparations for open source release