# HG changeset patch # User diego # Date 1030411917 0 # Node ID e640dca86e0da95a6a1be72c83f5affef10bbffe # Parent 8e9607c5897ea45d44d100fd6ed9714ded29b45b Updated credits for Kim Minh Kaplan from his own patch. diff -r 8e9607c5897e -r e640dca86e0d DOCS/documentation.html --- a/DOCS/documentation.html Mon Aug 26 22:20:58 2002 +0000 +++ b/DOCS/documentation.html Tue Aug 27 01:31:57 2002 +0000 @@ -2194,6 +2194,7 @@