From 380871ace19077f86ee6dc8400bc902be2e0f679 Mon Sep 17 00:00:00 2001 From: martin Date: Mon, 23 Sep 2002 04:04:31 +0000 Subject: [PATCH] Personal mentions --- doc/credits.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/credits.html b/doc/credits.html index dece5f312f0..8cbb332bacc 100755 --- a/doc/credits.html +++ b/doc/credits.html @@ -39,10 +39,10 @@ with the prototypes and making many useful suggestions along the way


Other contributors

-

Thanks to all of you contributing ideas and code.

+

Thanks to all of you contributing ideas and code, especially Dustin Rue, James Miller, Matt Hope, Petri Asikainen ... and also: