Skip to content

Use gopls rename instead of gorename#13

Open
adsr303 wants to merge 1 commit intomicro-editor:masterfrom
adsr303:gopls-rename
Open

Use gopls rename instead of gorename#13
adsr303 wants to merge 1 commit intomicro-editor:masterfrom
adsr303:gopls-rename

Commits

Commits on Sep 25, 2025