Rename away from scala_tools #18
Description
scala-tools.org is going away in June, time to rename this to org.scala-lang or something like that...
{{ message }}
scala-tools.org is going away in June, time to rename this to org.scala-lang or something like that...