Merge pull request #243 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 4 Sep 2017 13:33:16 +0000 (15:33 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 4 Sep 2017 13:33:16 +0000 (15:33 +0200)
Updated README to point to latest documentation


Trivial merge