diff --git a/doc/index.html b/doc/index.html index fdbacc8..d1fd69a 100644 --- a/doc/index.html +++ b/doc/index.html @@ -128,7 +128,7 @@ The up-to-date development version is available from the public repository:

News