Upgrade sbt and sbt-dotty

smarter · smarter · commit 954bdfb50195 · 2020-04-05T16:47:25.000+02:00
diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.3.2
+sbt.version=1.3.8
diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -1 +1 @@
-addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.3.4")
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.1")

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.3.4")`
	`1`	`+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.1")`