diff --git a/doc/index.html b/doc/index.html index da49330..b72de78 100644 --- a/doc/index.html +++ b/doc/index.html @@ -72,7 +72,7 @@