diff options
author | mihaylov <mihaylov@epfl.ch> | 2008-03-19 00:53:09 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2008-03-19 00:53:09 +0000 |
commit | ea617bd0bb5e5ca4cc0e3479fb2cdd638c8800ba (patch) | |
tree | 4e6b89dd455cce79e0ed041b084da5b7694fcb3f /src/partest | |
parent | cf299d7bbd9ed5807d5beeca2305959fd528f453 (diff) | |
download | scala-ea617bd0bb5e5ca4cc0e3479fb2cdd638c8800ba.tar.gz scala-ea617bd0bb5e5ca4cc0e3479fb2cdd638c8800ba.tar.bz2 scala-ea617bd0bb5e5ca4cc0e3479fb2cdd638c8800ba.zip |
Fixed svn properties
Diffstat (limited to 'src/partest')
10 files changed, 15 insertions, 42 deletions
diff --git a/src/partest/scala/tools/partest/PartestTask.scala b/src/partest/scala/tools/partest/PartestTask.scala index 22fb7b8dc1..d28c9aabcf 100644 --- a/src/partest/scala/tools/partest/PartestTask.scala +++ b/src/partest/scala/tools/partest/PartestTask.scala @@ -6,6 +6,8 @@ ** |/ ** \* */ +// $Id$ + package scala.tools.partest import scala.actors.Actor._ diff --git a/src/partest/scala/tools/partest/nest/AntRunner.scala b/src/partest/scala/tools/partest/nest/AntRunner.scala index 621cc0dd44..8206e55ae2 100644 --- a/src/partest/scala/tools/partest/nest/AntRunner.scala +++ b/src/partest/scala/tools/partest/nest/AntRunner.scala @@ -6,6 +6,8 @@ ** |/ ** \* */ +// $Id$ + package scala.tools.partest.nest import scala.actors.Actor._ diff --git a/src/partest/scala/tools/partest/nest/ConsoleFileManager.scala b/src/partest/scala/tools/partest/nest/ConsoleFileManager.scala index abd9819138..f08dbfbd2c 100644 --- a/src/partest/scala/tools/partest/nest/ConsoleFileManager.scala +++ b/src/partest/scala/tools/partest/nest/ConsoleFileManager.scala @@ -3,7 +3,7 @@ * @author Philipp Haller */ -// $Id: FileManager.scala 14161 2008-02-27 19:45:27Z phaller $ +// $Id$ package scala.tools.partest.nest diff --git a/src/partest/scala/tools/partest/nest/ConsoleRunner.scala b/src/partest/scala/tools/partest/nest/ConsoleRunner.scala index b4612495c8..bc03877310 100644 --- a/src/partest/scala/tools/partest/nest/ConsoleRunner.scala +++ b/src/partest/scala/tools/partest/nest/ConsoleRunner.scala @@ -3,7 +3,7 @@ * @author Philipp Haller */ -// $Id: $ +// $Id$ package scala.tools.partest.nest diff --git a/src/partest/scala/tools/partest/nest/Diff.java b/src/partest/scala/tools/partest/nest/Diff.java index cfb7d89722..754f9bb91b 100644 --- a/src/partest/scala/tools/partest/nest/Diff.java +++ b/src/partest/scala/tools/partest/nest/Diff.java @@ -1,25 +1,5 @@ -/* - * $Log$ - * Revision 1.1 2003/10/13 16:00:03 michelou - * - Java implementation of GNU diff (GPL licence) - * - * Revision 1.6 2003/03/06 22:51:32 stuart - * Convert to CVS - * - * Revision 1.5 2002/07/19 19:14:40 stuart - * fix reverseScript, make change ctor public, update docs - * - * Revision 1.4 2002/04/09 17:53:39 stuart - * More flexible interface for diff() function. - * - * Revision 1.3 2000/03/03 21:58:03 stuart - * move discard_confusing_lines and shift_boundaries to class file_data - * - * Revision 1.2 2000/03/02 16:37:38 stuart - * Add GPL and copyright - * - */ -//package bmsi.util; +// $Id$ + package scala.tools.partest.nest; import java.util.Hashtable; diff --git a/src/partest/scala/tools/partest/nest/DiffPrint.java b/src/partest/scala/tools/partest/nest/DiffPrint.java index cb02210eb9..494bc06e4a 100644 --- a/src/partest/scala/tools/partest/nest/DiffPrint.java +++ b/src/partest/scala/tools/partest/nest/DiffPrint.java @@ -1,25 +1,10 @@ -/* $Log$ - * Revision 1.1 2003/10/13 16:00:11 michelou - * - Java implementation of GNU diff (GPL licence) - * - * Revision 1.4 2003/04/22 01:50:47 stuart - * add Unified format diff - * - * Revision 1.3 2003/04/22 01:00:32 stuart - * added context diff format - * - * Revision 1.2 2000/03/02 16:59:54 stuart - * add GPL - * - */ +// $Id$ -//package bmsi.util; package scala.tools.partest.nest; import java.io.*; import java.util.Vector; import java.util.Date; -//import bmsi.util.Diff; //import com.objectspace.jgl.predicates.UnaryPredicate; interface UnaryPredicate { diff --git a/src/partest/scala/tools/partest/nest/DirectRunner.scala b/src/partest/scala/tools/partest/nest/DirectRunner.scala index 4e5124ca71..598fdf0e17 100644 --- a/src/partest/scala/tools/partest/nest/DirectRunner.scala +++ b/src/partest/scala/tools/partest/nest/DirectRunner.scala @@ -3,7 +3,7 @@ * @author Philipp Haller */ -// $Id: $ +// $Id$ package scala.tools.partest.nest diff --git a/src/partest/scala/tools/partest/nest/NestUI.scala b/src/partest/scala/tools/partest/nest/NestUI.scala index fa235ed543..e61e5884b4 100644 --- a/src/partest/scala/tools/partest/nest/NestUI.scala +++ b/src/partest/scala/tools/partest/nest/NestUI.scala @@ -2,6 +2,8 @@ * @author Philipp Haller */ +// $Id$ + package scala.tools.partest.nest import java.io.PrintWriter diff --git a/src/partest/scala/tools/partest/nest/ReflectiveRunner.scala b/src/partest/scala/tools/partest/nest/ReflectiveRunner.scala index af5d4d10ed..b08988e2af 100644 --- a/src/partest/scala/tools/partest/nest/ReflectiveRunner.scala +++ b/src/partest/scala/tools/partest/nest/ReflectiveRunner.scala @@ -3,7 +3,7 @@ * @author Philipp Haller */ -// $Id: $ +// $Id$ package scala.tools.partest.nest diff --git a/src/partest/scala/tools/partest/nest/Worker.scala b/src/partest/scala/tools/partest/nest/Worker.scala index f7dc932081..e59db11fd9 100644 --- a/src/partest/scala/tools/partest/nest/Worker.scala +++ b/src/partest/scala/tools/partest/nest/Worker.scala @@ -2,6 +2,8 @@ * @author Philipp Haller */ +// $Id$ + package scala.tools.partest.nest import java.io.{File, FileInputStream, FileOutputStream, PrintStream, |