Merge pull request #135 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Jul 2016 11:47:47 +0000 (13:47 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Jul 2016 11:47:47 +0000 (13:47 +0200)
commitbc69b3a5838017da2b48302096cb6b152fa1f37e
tree52e34943a89db918d3af9ec59171d72420a41cc1
parent9e8ebdb71ad792cfdb195159a95dce631f9fd75b
parentdd318382c3522250d68fbc9d9c3c09fa97ec3eb5
Merge pull request #135 from mpeuster/master

Cleanup for 0.9 release