Skip to content

rename site to "HIFIS Technical Documentation"

Ghost User requested to merge pr-carsten-rename-documentation into master

Motivation

  • better reflect the content of this site

Modifications

  • rename site in mkdocs.yml

Result

  • the site is renamed :-)

Merge request reports