From d1624f0e5868c8e166c995b7f9b48e423d41735b Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Mon, 19 Jan 2004 15:05:48 +0000
Subject: - Removed class Monitor

---
 config/list/library.lst | 1 -
 1 file changed, 1 deletion(-)

(limited to 'config')

diff --git a/config/list/library.lst b/config/list/library.lst
index 0b42bc06cd..1af8248500 100644
--- a/config/list/library.lst
+++ b/config/list/library.lst
@@ -34,7 +34,6 @@ Iterator.scala
 List.scala
 Long.java
 MatchError.java
-Monitor.scala
 Nil.scala
 None.scala
 Option.scala
-- 
cgit v1.2.3