Skip to content

Support multi-project rename#5462

Merged
Duhemm merged 2 commits intoscala:masterfrom
dotty-staging:topic/ide-multi-project-rename
Nov 30, 2018

Commits

Commits on Nov 30, 2018