Skip to content

[web] Do not reserve space for section icons#549

Merged
dgdavid merged 2 commits intomasterfrom
improve-sections-indentation
Apr 25, 2023
Merged

[web] Do not reserve space for section icons#549
dgdavid merged 2 commits intomasterfrom
improve-sections-indentation

Commits

Commits on Apr 25, 2023