make arduino filetype detection less aggressive#3848
Merged
JoeKar merged 1 commit intomicro-editor:masterfrom Sep 1, 2025
Merged
make arduino filetype detection less aggressive#3848JoeKar merged 1 commit intomicro-editor:masterfrom
JoeKar merged 1 commit intomicro-editor:masterfrom
