summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2004-03-21 01:09:05 +0000
committerpaltherr <paltherr@epfl.ch>2004-03-21 01:09:05 +0000
commit0522bc575118b339f24785aa45db7292312410d8 (patch)
tree991e5fc8da196ba298bdc7dccebd092e3ebbdfdf /config
parent9be9bb36264ea74644d06a5a965423243ba0386b (diff)
downloadscala-0522bc575118b339f24785aa45db7292312410d8.tar.gz
scala-0522bc575118b339f24785aa45db7292312410d8.tar.bz2
scala-0522bc575118b339f24785aa45db7292312410d8.zip
- Removed Position and *SourceFile* from ch.epf...
- Removed Position and *SourceFile* from ch.epfl.lamp.util
Diffstat (limited to 'config')
-rw-r--r--config/list/lamplib.lst4
1 files changed, 0 insertions, 4 deletions
diff --git a/config/list/lamplib.lst b/config/list/lamplib.lst
index 5aab001156..1b95fc6aae 100644
--- a/config/list/lamplib.lst
+++ b/config/list/lamplib.lst
@@ -3,15 +3,11 @@
##############################################################################
# $Id$
-util/AbstractSourceFile.java
util/CodePrinter.java
util/ForwardingMap.java
util/HTMLPrinter.java
util/HTMLRepresentation.java
util/Pair.java
-util/Position.java
-util/SourceFile.java
-util/SourceFile2.java
util/XHTMLPrinter.java
util/XMLAttribute.java