Skip to content

Fix links to faces with special chars#2007

Merged
marcelklehr merged 2 commits intomasterfrom
fix/specialchars-in-face-names
Dec 3, 2023
Merged

Fix links to faces with special chars#2007
marcelklehr merged 2 commits intomasterfrom
fix/specialchars-in-face-names

Commits

Commits on Dec 3, 2023