# HG changeset patch # User wenzelm # Date 975611665 -3600 # Node ID e574274823a4eed5700bc4cfedba642e2b7ba937 # Parent 2323ec838401e76797d91d3b583dd3896db5e2c0 removed "./configure"; diff -r 2323ec838401 -r e574274823a4 Admin/page/dist-content/packages.content --- a/Admin/page/dist-content/packages.content Thu Nov 30 20:10:29 2000 +0100 +++ b/Admin/page/dist-content/packages.content Thu Nov 30 20:14:25 2000 +0100 @@ -112,7 +112,6 @@   
-   ./configure
   ./bin/isatool install -p /usr/local/bin