diff --git a/docs/index.html b/docs/index.html index eb5b787d..f5128c6c 100644 --- a/docs/index.html +++ b/docs/index.html @@ -42,6 +42,8 @@ root: ../ + +