diff --git a/documentation/credits.html b/documentation/credits.html index bcdeb53e79..91a805c9bd 100755 --- a/documentation/credits.html +++ b/documentation/credits.html @@ -446,6 +446,7 @@ rewritten by