diff options
author | Matthias Zenger <mzenger@gmail.com> | 2004-05-14 12:56:44 +0000 |
---|---|---|
committer | Matthias Zenger <mzenger@gmail.com> | 2004-05-14 12:56:44 +0000 |
commit | 536d087fb81203e96ed5ef85564307fa2fb91ac6 (patch) | |
tree | 1ef93a2a521fbfd18ab4dc6b3a02313a6f091cfc /config | |
parent | e744fbb15dc554ef70b4653f69a3443be45b21f8 (diff) | |
download | scala-536d087fb81203e96ed5ef85564307fa2fb91ac6.tar.gz scala-536d087fb81203e96ed5ef85564307fa2fb91ac6.tar.bz2 scala-536d087fb81203e96ed5ef85564307fa2fb91ac6.zip |
Removed class Ord.
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index bb3f21a69b..5a2bb6831a 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -34,7 +34,6 @@ Long.java MatchError.java None.scala Option.scala -Ord.scala Ordered.scala PartiallyOrdered.scala PartialFunction.scala |