projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9590676 c0cebe5)
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)
Fix: We don't use learning switch = enabled in our demo topos


Trivial merge