diff --git a/doc/index.html b/doc/index.html index 27f8265..8ae8c42 100644 --- a/doc/index.html +++ b/doc/index.html @@ -116,8 +116,8 @@