diff --git a/Documentation.html b/Documentation.html index 8848f90e3..c72c6902b 100644 --- a/Documentation.html +++ b/Documentation.html @@ -4999,7 +4999,7 @@ Jakub Wilk, Thomas Michael Winningham, Vilius Zigmantas, "Manuzhai".