# HG changeset patch # User gabucino # Date 1019329728 0 # Node ID 56ba628118a2ad454043664cf5fe67445fd1790b # Parent 6586448b52434f51d4748ba3f8a48ab03e7f7ffa applied Holm's patch (credits updated) diff -r 6586448b5243 -r 56ba628118a2 DOCS/documentation.html --- a/DOCS/documentation.html Sat Apr 20 17:50:11 2002 +0000 +++ b/DOCS/documentation.html Sat Apr 20 19:08:48 2002 +0000 @@ -1588,11 +1588,21 @@