diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-06 09:23:03 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-06 09:23:03 +0000 |
commit | e1c732db445d1ab0172bc25073ce865acc7d280b (patch) | |
tree | 4e1445535167194e09815e95563e4d2a9ef927f3 /src/library | |
parent | 289fd3d7307ca117a419e71e3a20b0b811a0d33f (diff) | |
download | scala-e1c732db445d1ab0172bc25073ce865acc7d280b.tar.gz scala-e1c732db445d1ab0172bc25073ce865acc7d280b.tar.bz2 scala-e1c732db445d1ab0172bc25073ce865acc7d280b.zip |
merged in tcpoly branch (at r10641)
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/AllRef$.scala | 2 | ||||
-rw-r--r-- | src/library/scala/runtime/Nothing$.scala | 2 | ||||
-rw-r--r-- | src/library/scala/runtime/Null$.scala | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/AllRef$.scala b/src/library/scala/AllRef$.scala index de1fa94bff..dcfd9ad300 100644 --- a/src/library/scala/AllRef$.scala +++ b/src/library/scala/AllRef$.scala @@ -6,7 +6,7 @@ ** |/ ** \* */ -// $Id: AllRef$.scala 9262 2006-11-14 17:29:59 +0000 (Tue, 14 Nov 2006) mihaylov $ +// $Id: AllRef$.scala 10086 2007-02-21 19:10:41Z odersky $ package scala diff --git a/src/library/scala/runtime/Nothing$.scala b/src/library/scala/runtime/Nothing$.scala index d6b9708bc0..0151f95c41 100644 --- a/src/library/scala/runtime/Nothing$.scala +++ b/src/library/scala/runtime/Nothing$.scala @@ -6,7 +6,7 @@ ** |/ ** \* */ -// $Id: Nothing$.scala 9261 2006-11-14 17:11:16 +0000 (Tue, 14 Nov 2006) mihaylov $ +// $Id: Nothing$.scala 10086 2007-02-21 19:10:41Z odersky $ package scala.runtime diff --git a/src/library/scala/runtime/Null$.scala b/src/library/scala/runtime/Null$.scala index 5aa8518b9b..3dd19efeb0 100644 --- a/src/library/scala/runtime/Null$.scala +++ b/src/library/scala/runtime/Null$.scala @@ -6,7 +6,7 @@ ** |/ ** \* */ -// $Id: Null$.scala 9261 2006-11-14 17:11:16 +0000 (Tue, 14 Nov 2006) mihaylov $ +// $Id: Null$.scala 10086 2007-02-21 19:10:41Z odersky $ package scala.runtime |