diff options
| author | Paul Phillips <paulp@improving.org> | 2009-03-13 14:47:09 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2009-03-13 14:47:09 +0000 |
| commit | cd105bb1f485acec9a5f4e57b859112f30bd43f5 (patch) | |
| tree | 60a9ab61bc1a7e1c7b76ed21946a905216b2bbe8 /src/partest | |
| parent | ca9431e11c1d72de95ef76cc04474725eae34b0e (diff) | |
| download | scala-cd105bb1f485acec9a5f4e57b859112f30bd43f5.tar.gz scala-cd105bb1f485acec9a5f4e57b859112f30bd43f5.tar.bz2 scala-cd105bb1f485acec9a5f4e57b859112f30bd43f5.zip | |
More consolidation and duplication elimination ...
More consolidation and duplication elimination in Properties.
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] |