diff options
Diffstat (limited to 'src/library/scala/Product12.scala')
-rw-r--r-- | src/library/scala/Product12.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/Product12.scala b/src/library/scala/Product12.scala index af93b165dc..31d5d95ef0 100644 --- a/src/library/scala/Product12.scala +++ b/src/library/scala/Product12.scala @@ -7,9 +7,9 @@ ** |/ ** \* */ -// $Id: genprod.scala 9429 2006-11-30 10:17:30Z michelou $ +// $Id: genprod.scala 9494 2006-12-11 11:35:38Z odersky $ -// generated by genprod on Fri Dec 08 20:07:08 CET 2006 +// generated by genprod on Tue Dec 12 11:32:13 CET 2006 package scala |