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