Closed tgodzik closed 1 year ago
This reverts commit cf748dde1b42cd156a25be44d4761cdb253e2b17.
Looks like we no longer need it after https://github.com/scalameta/metals/pull/5375
This reverts commit cf748dde1b42cd156a25be44d4761cdb253e2b17.
Looks like we no longer need it after https://github.com/scalameta/metals/pull/5375