"Short title" option for the Section class#380

Open

skimprem wants to merge 7 commits intoJelteF:masterfrom skimprem:master

+5-2

Commits on Jan 3, 2024

Add "short title" option to Section class
skimprem
authored
Fix short in section
Roman Sermyagin
committed

Commits on Jul 23, 2024

Commits on Jul 25, 2024