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