Rename community build sbt-dotty.sbt to sbt-dotty-sbt#5903

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:rename-community-build-sbt-dotty-sbt

Feb 12, 2019

Commits on Feb 11, 2019

Fix #5898: Rename sbt-dotty{.,-}sbt
OlivierBlanvillain
committed

Commits on Feb 12, 2019

Fix .gitignore to properly ignore these files
OlivierBlanvillain
committed