Skip to content

Rename global navigation YAML file

Achilleas Pipinellis requested to merge rename-global-nav-yaml into master

Based on !1482 (merged), now that we only have one file, let's rename default-nav.yaml to navigation.yaml.

Merge request reports