diff --git a/documentation/index.html b/documentation/index.html index 4df7167e0..783548fd0 100644 --- a/documentation/index.html +++ b/documentation/index.html @@ -18,10 +18,10 @@ Documentation Contents: