Skip to content

Fix dark theme#923

Merged
philippjfr merged 2 commits intomainfrom gutter_colorJan 8, 2025

Commits

Commits on Jan 7, 2025

Commits on Jan 8, 2025