Merge pull request #133 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 8 Jul 2016 21:42:52 +0000 (23:42 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 8 Jul 2016 21:42:52 +0000 (23:42 +0200)
commit0d98d75450be28bba00ebabcd9041b4ae541f964
treef3609fc78bd4139a32b291af42afcf0738906052
parent581bb196e383ec7b6c01b834688b741d8b9e5a34
parent8569ff4c92744958851423793e273cfb49dd1090
Merge pull request #133 from mpeuster/master

Preparations for open source release