# HG changeset patch # User gabucino # Date 1009127427 0 # Node ID 45ecea1c23f3d37f180fa1212cb42269e36a5bed # Parent a6f4cce5001ab171c4a01183056a80377282916c updates in AUTHORS section diff -r a6f4cce5001a -r 45ecea1c23f3 DOCS/documentation.html --- a/DOCS/documentation.html Sun Dec 23 17:08:33 2001 +0000 +++ b/DOCS/documentation.html Sun Dec 23 17:10:27 2001 +0000 @@ -1165,6 +1165,7 @@
Main testers: