| commit | ccfefb5c04f2c285a366e7af91266be0365147a8 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Sep 06 17:15:31 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Sep 06 17:15:31 2016 +0200 |
| tree | 556127424f7805427bec937c4240aeb8c2a8ac96 | |
| parent | 95906762b28a11be154572dae68e354219ebcf03 [diff] | |
| parent | c0cebe5d0ad8b8112fef828565633901d4b1e694 [diff] |
Merge pull request #174 from mpeuster/master Fix: We don't use learning switch = enabled in our demo topos