diff --git a/doc/github_pages/index.html b/doc/github_pages/index.html index 1782efc27..7c743f28f 100644 --- a/doc/github_pages/index.html +++ b/doc/github_pages/index.html @@ -7,7 +7,7 @@