diff options
Diffstat (limited to 'src/partest')
-rw-r--r-- | src/partest/scala/tools/partest/utils/Properties.scala | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/src/partest/scala/tools/partest/utils/Properties.scala b/src/partest/scala/tools/partest/utils/Properties.scala index d75791c0e7..8c96083306 100644 --- a/src/partest/scala/tools/partest/utils/Properties.scala +++ b/src/partest/scala/tools/partest/utils/Properties.scala @@ -10,14 +10,8 @@ package scala.tools.partest.utils -import scala.util.PropertiesTrait - -/** A utility to load the library properties from a Java properties file - * included in the jar. - * - * @author Stephane Micheloud - */ -object Properties extends PropertiesTrait { +/** Loads partest.properties from the jar. */ +object Properties extends scala.util.PropertiesTrait { protected def propCategory = "partest" protected def pickJarBasedOn = classOf[Application] |