This repository has been archived by the owner on Jan 3, 2024. It is now read-only.
Prevent having to double-click on toplevel nav items#1150
Merged
kulmann merged 1 commit intomasterfrom 15032021_partly_fix_docs_navigationMar 15, 2021
+1-1
