summaryrefslogtreecommitdiff
path: root/sources
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2004-11-19 09:34:26 +0000
committermichelou <michelou@epfl.ch>2004-11-19 09:34:26 +0000
commit172de146a8ae56f45104ba25f82540bd9e2cec0d (patch)
tree5744a2d2ba3e7c2cdabab85e6842fc62fa53adb4 /sources
parent10c29b9c5b176bc99ef515239d84bf17caf34ea5 (diff)
downloadscala-172de146a8ae56f45104ba25f82540bd9e2cec0d.tar.gz
scala-172de146a8ae56f45104ba25f82540bd9e2cec0d.tar.bz2
scala-172de146a8ae56f45104ba25f82540bd9e2cec0d.zip
- added missing header.
Diffstat (limited to 'sources')
-rw-r--r--sources/scala/runtime/compat/Platform.scala11
1 files changed, 11 insertions, 0 deletions
diff --git a/sources/scala/runtime/compat/Platform.scala b/sources/scala/runtime/compat/Platform.scala
index 1a6be6cf5a..798b301b01 100644
--- a/sources/scala/runtime/compat/Platform.scala
+++ b/sources/scala/runtime/compat/Platform.scala
@@ -1,3 +1,14 @@
+/* __ *\
+** ________ ___ / / ___ Scala API **
+** / __/ __// _ | / / / _ | (c) 2002-2004, LAMP/EPFL **
+** __\ \/ /__/ __ |/ /__/ __ | **
+** /____/\___/_/ |_/____/_/ | | **
+** |/ **
+\* */
+
+// $Id$
+
+
package scala.runtime.compat;
object Platform {