various fixes#57
Open
stbuehler wants to merge 7 commits into
Open
Commits
Commits on Jul 25, 2017
- committed
Stefan Bühler - committed
Stefan Bühler
Commits on Jul 27, 2017
- committed
Stefan Bühler - committed
Stefan Bühler - committed
Stefan Bühler - committed
Stefan Bühler
Commits on Aug 28, 2017
- committed
Stefan Bühler