diff --git a/eo/doc/mainpage.html b/eo/doc/mainpage.html index cf03c6eb..f20f0e6c 100644 --- a/eo/doc/mainpage.html +++ b/eo/doc/mainpage.html @@ -191,7 +191,7 @@
You can also of course use the