Guillaume Martres 7f3ce50014 dotty-library is called scala3-library now ...

I though this would help with
https://github.com/lampepfl/dotty/issues/10558 but `sbt repl` still
hides the input after typing a line and pressing enter even after this
change.

2020-11-30 17:08:04 +01:00

..

src

dotty-library is called scala3-library now

2020-11-30 17:08:04 +01:00