Merge pull request #142 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 13:50:28 +0000 (15:50 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 13:50:28 +0000 (15:50 +0200)
added link to further documentation


Trivial merge