Skip to content

Comments

command: Prevent re-writing settings in case of local option#3178

Merged
JoeKar merged 2 commits intomicro-editor:masterfrom
JoeKar:fix/unnecessary-write-settings
Apr 11, 2024
Merged

command: Prevent re-writing settings in case of local option#3178
JoeKar merged 2 commits intomicro-editor:masterfrom
JoeKar:fix/unnecessary-write-settings

Commits

Commits on Mar 22, 2024