From cd105bb1f485acec9a5f4e57b859112f30bd43f5 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Fri, 13 Mar 2009 14:47:09 +0000 Subject: More consolidation and duplication elimination ... More consolidation and duplication elimination in Properties. --- src/partest/scala/tools/partest/utils/Properties.scala | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'src/partest') 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] -- cgit v1.2.3