Skip to content

Fix typo with foldings settings#771

Merged
fbricon merged 1 commit intomainfrom angelozerr-foldings-typoSep 5, 2022

Commits

Commits on Sep 5, 2022