# HG changeset patch # User gabucino # Date 1004516532 0 # Node ID 73e14f5c73854fb2dc8ebbca3cf50df0d5b7e854 # Parent 3b05a6b4d870b4c2499a8f82bee6f6915ea9a0ef typo diff -r 3b05a6b4d870 -r 73e14f5c7385 DOCS/documentation.html --- a/DOCS/documentation.html Wed Oct 31 02:29:02 2001 +0000 +++ b/DOCS/documentation.html Wed Oct 31 08:22:12 2001 +0000 @@ -237,7 +237,7 @@