# HG changeset patch # User wenzelm # Date 878831075 -3600 # Node ID 706902a9abddf0e5553fe48316027fc4ec4b7f99 # Parent 47067b5db7efc9d056c8abd6d1e3deb73b7043d0 Perl no longer optional; diff -r 47067b5db7ef -r 706902a9abdd README.html --- a/README.html Thu Nov 06 16:41:08 1997 +0100 +++ b/README.html Thu Nov 06 16:44:35 1997 +0100 @@ -36,9 +36,6 @@
The following ML system and platform combinations are known to work