Commit 454d2818 authored Jan 04, 2021 by Andreas Klöckner

Merge branch 'inducer-master-patch-79469' into 'master'

Shorten/standardize doc/conf

See merge request !144