WIP: added `headerMenu` flag, default true, to control if hamburger menu should be shown or not (!80) · Merge requests · Antora / Antora Default UI · GitLab

The source project of this merge request has been removed.

Marco Baringer requested to merge (removed):optional-header-menu into master Jun 19, 2019