Merge pull request #174 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 6 Sep 2016 15:15:31 +0000 (17:15 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 6 Sep 2016 15:15:31 +0000 (17:15 +0200)
commitccfefb5c04f2c285a366e7af91266be0365147a8
tree556127424f7805427bec937c4240aeb8c2a8ac96
parent95906762b28a11be154572dae68e354219ebcf03
parentc0cebe5d0ad8b8112fef828565633901d4b1e694
Merge pull request #174 from mpeuster/master

Fix: We don't use learning switch = enabled in our demo topos