Skip to content

Thinner section table scroll bar#738

Merged
KevinWu098 merged 2 commits intomainfrom section-table-appearanceOct 16, 2023

Commits

Commits on Oct 16, 2023