diff options
| author | paltherr <paltherr@epfl.ch> | 2004-07-20 17:20:57 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-07-20 17:20:57 +0000 |
| commit | 96d69778b6c1bd6c554d3efa065655912e12f4d4 (patch) | |
| tree | 2d6156b497858a9ae77af7d8d43fc25cdc5c6591 /config | |
| parent | fbed2284e15cae07889e2319cfb391bba9207448 (diff) | |
| download | scala-96d69778b6c1bd6c554d3efa065655912e12f4d4.tar.gz scala-96d69778b6c1bd6c554d3efa065655912e12f4d4.tar.bz2 scala-96d69778b6c1bd6c554d3efa065655912e12f4d4.zip | |
- Replaced interpreter.lst by scalai.lst
Diffstat (limited to 'config')
| -rw-r--r-- | config/list/scalai.lst (renamed from config/list/interpreter.lst) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/list/interpreter.lst b/config/list/scalai.lst index 356996c7a9..7a1be5d141 100644 --- a/config/list/interpreter.lst +++ b/config/list/scalai.lst @@ -1,5 +1,5 @@ ############################################################-*-Makefile-*-#### -# scala interpreter source files (paths are relative to ./sources/scala/tools/scalai) +# scalai source files (paths are relative to ./sources/scala/tools/scalai) ############################################################################## # $Id$ |