diff options
Diffstat (limited to 'src/library/scala/Product13.scala')
-rw-r--r-- | src/library/scala/Product13.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/Product13.scala b/src/library/scala/Product13.scala index dcb4d57484..fc5022eb60 100644 --- a/src/library/scala/Product13.scala +++ b/src/library/scala/Product13.scala @@ -7,7 +7,7 @@ ** |/ ** \* */ -// $Id: genprod.scala 10751 2007-04-19 15:45:58Z michelou $ +// $Id$ // generated by genprod on Thu Apr 19 18:52:00 CEST 2007 |