diff --git a/eo/doc/mainpage.html b/eo/doc/mainpage.html index 9567b294..518fafc7 100644 --- a/eo/doc/mainpage.html +++ b/eo/doc/mainpage.html @@ -79,7 +79,7 @@