Remove unnecessary main

DarkDimius · DarkDimius · commit 2cd0d1751b22 · 2017-05-25T21:06:43.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/config/Properties.scala b/compiler/src/dotty/tools/dotc/config/Properties.scala
@@ -135,10 +135,4 @@ trait PropertiesTrait {
     }
     okVersions exists (javaVersion startsWith _)
   }
-
-  // provide a main method so version info can be obtained by running this
-  def main(args: Array[String]): Unit = {
-    val writer = new PrintWriter(Console.err, true)
-    writer println versionMsg
-  }
 }

Original file line number	Diff line number	Diff line change
`@@ -135,10 +135,4 @@ trait PropertiesTrait {`
`135`	`135`	`}`
`136`	`136`	`okVersions exists (javaVersion startsWith _)`
`137`	`137`	`}`
`138`		`-`
`139`		`- // provide a main method so version info can be obtained by running this`
`140`		`- def main(args: Array[String]): Unit = {`
`141`		`- val writer = new PrintWriter(Console.err, true)`
`142`		`- writer println versionMsg`
`143`		`- }`
`144`	`138`	`}`