diff --git a/docs/main_index/main_index.html b/docs/main_index/index.html similarity index 93% rename from docs/main_index/main_index.html rename to docs/main_index/index.html index 31e32b9e9..8cbd423e4 100644 --- a/docs/main_index/main_index.html +++ b/docs/main_index/index.html @@ -1,4 +1,3 @@ - @@ -19,7 +18,7 @@ - + @@ -44,8 +43,6 @@

Versions: