diff options
Diffstat (limited to 'config/list/lamplib.lst')
| -rw-r--r-- | config/list/lamplib.lst | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/config/list/lamplib.lst b/config/list/lamplib.lst deleted file mode 100644 index 1b95fc6aae..0000000000 --- a/config/list/lamplib.lst +++ /dev/null @@ -1,14 +0,0 @@ -############################################################-*-Makefile-*-#### -# lamp library source files (paths are relative to ./sources/ch/epfl/lamp) -############################################################################## -# $Id$ - -util/CodePrinter.java -util/ForwardingMap.java -util/HTMLPrinter.java -util/HTMLRepresentation.java -util/Pair.java -util/XHTMLPrinter.java -util/XMLAttribute.java - -############################################################################## |