Skip to content

Add matchbraceleft option#3432

Merged
JoeKar merged 1 commit intomicro-editor:masterfrom
dmaluka:matchbraceleft
Aug 18, 2024
Merged

Add matchbraceleft option#3432
JoeKar merged 1 commit intomicro-editor:masterfrom
dmaluka:matchbraceleft

Commits

Commits on Aug 18, 2024