Repository navigation
Move rename functionality to the language server - #2612
Merged
Mikhail Arkhipov (MikhailArkhipov) merged 79 commits intoSep 21, 2018
Merged
Mikhail Arkhipov (MikhailArkhipov) merged 79 commits into
Mikhail Arkhipov (MikhailArkhipov) merged 79 commits into