Skip to content

Fix filemanager Git detection and disable diffgutter in file tree pane - #17

Open
humannum14916 wants to merge 4 commits into
micro-editor:masterfrom
humannum14916:filemanager-fixes
Open

Fix filemanager Git detection and disable diffgutter in file tree pane#17
humannum14916 wants to merge 4 commits into
micro-editor:masterfrom
humannum14916:filemanager-fixes

Commits

Commits on Jul 12, 2023

Commits on Jul 13, 2023