# HG changeset patch # User diego # Date 1067386927 0 # Node ID 92b8eae72acabe2fd4678c6bf20259f8594ea4cf # Parent 4e0e3ba551997e3fa3b5f7774999445ef7bee1e4 Mention README. diff -r 4e0e3ba55199 -r 92b8eae72aca DOCS/xml/en/install.xml --- a/DOCS/xml/en/install.xml Wed Oct 29 00:19:18 2003 +0000 +++ b/DOCS/xml/en/install.xml Wed Oct 29 00:22:07 2003 +0000 @@ -4,6 +4,12 @@