Skip to content

Don't show a global-options section if all options were hidden.#67

Merged
floitsch merged 1 commit intomainfrom floitsch/no-global-hiddenSep 19, 2024

Commits

Commits on Aug 9, 2024