Rename RustRover ftl key from tools-editor-idea to tools-editor-rover#1916
Merged
Manishearth merged 1 commit intorust-lang:masterfrom Jan 15, 2024
Merged
Rename RustRover ftl key from `tools-editor-idea` to `tools-editor-rover`#1916Manishearth merged 1 commit intorust-lang:masterfrom
Manishearth merged 1 commit intorust-lang:masterfrom