Gutter diff adapts to git's core.autocrlf setting#3909
Open
MiguelRoldao wants to merge 1 commit intomicro-editor:masterfrom
Open
Gutter diff adapts to git's core.autocrlf setting#3909MiguelRoldao wants to merge 1 commit intomicro-editor:masterfrom
MiguelRoldao wants to merge 1 commit intomicro-editor:masterfrom
Commits
Commits on Nov 11, 2025
- committed
mroldao