diff --git a/develop/doc/about/index_en.html b/develop/doc/about/index_en.html index 8e55577e1bb01aec7bbb54b466991efbd50f92a0..7857a1a20482dc08b976c561836ebb1976be9df7 100644 --- a/develop/doc/about/index_en.html +++ b/develop/doc/about/index_en.html @@ -63,7 +63,7 @@