Skip to content

options: add matchbracestyle#2876

Merged
JoeKar merged 7 commits intomicro-editor:masterfrom
toiletbril:matchbracestyle
Mar 13, 2024
Merged

options: add matchbracestyle#2876
JoeKar merged 7 commits intomicro-editor:masterfrom
toiletbril:matchbracestyle

Commits

Commits on Mar 13, 2024