Skip to content

Simplify the colouring of keys in the navigation bar#195

Merged
davep merged 1 commit intomainfrom
simplify-key-markup
Nov 12, 2025
Merged

Simplify the colouring of keys in the navigation bar#195
davep merged 1 commit intomainfrom
simplify-key-markup

Commits

Commits on Nov 12, 2025