Commit f4503e0e authored May 24, 2018 by Andreas Klöckner

Merge branch 'docs_additions' into 'master'

doc additions

See merge request !33