refactor: Minor improvements to the navigation structure#1020
Open
MoritzWeber0 wants to merge 1 commit into
Open
refactor: Minor improvements to the navigation structure#1020MoritzWeber0 wants to merge 1 commit into
MoritzWeber0 wants to merge 1 commit into