Merge tag 'v0.2' into develop

Documentation improvements, Console output quality
This commit is contained in:
Jörn-Michael Miehe 2019-09-24 11:41:49 +02:00
commit db79ff1d07

Diff content is not available