Skip to content
GitLab
Explore
Sign in
rename site to "HIFIS Technical Documentation"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ghost User
requested to merge
pr-carsten-rename-documentation
into
master
Jun 16, 2020
Overview
0
Commits
2
Pipelines
0
Changes
2
Expand
Motivation
better reflect the content of this site
Modifications
rename site in
mkdocs.yml
Result
the site is renamed :-)
Merge request reports
Loading