Skip to content

command: Fix set local-only options for the current buffer only#3042

Merged
JoeKar merged 1 commit intomicro-editor:masterfrom
JoeKar:fix/set-local-only
Mar 13, 2024
Merged

command: Fix set local-only options for the current buffer only#3042
JoeKar merged 1 commit intomicro-editor:masterfrom
JoeKar:fix/set-local-only

Commits

Commits on Nov 26, 2023