diff options
| -rw-r--r-- | sources/bin/.scala_wrapper.tmpl | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl index 6decaf2530..07da6e3c1b 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -1,12 +1,11 @@ #!/bin/sh ############################################################################## -# ____ ____ ____ ____ ______ # -# / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala # -# __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL # -# /_____/\____/\___/\____/____/ # -# # -############################################################################## -# Launch script for Scala tools # +# __ # +# ________ ___ / / ___ Scala Tools Launch Script # +# / __/ __// _ | / / / _ | (c) 2002-2003, LAMP/EPFL # +# __\ \/ /__/ __ |/ /__/ __ | # +# /____/\___/_/ |_/____/_/ | | # +# |/ # ############################################################################## # $Id$ |