Skip to content
GitLab
Explore
Sign in
Remove extra header
Code
Review changes
Check out branch
Download
Patches
Plain diff
Morgan Li
requested to merge
RemoveExtraHeader
into
main
Mar 04, 2023
Overview
0
Commits
3
Pipelines
0
Changes
8
Expand
remove header display of main navigation to ensure header display is stable
Merge request reports