diff --git a/eo/doc/mainpage.html b/eo/doc/mainpage.html index 61d422b0..5a36124a 100644 --- a/eo/doc/mainpage.html +++ b/eo/doc/mainpage.html @@ -73,8 +73,9 @@

Recent versions of EO have been tested on the following platforms: