Merge pull request #39 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 7 Mar 2016 20:19:54 +0000 (21:19 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 7 Mar 2016 20:19:54 +0000 (21:19 +0100)
some cleanups e.g. examples folder for topologies


Trivial merge