diff --git a/docs/_includes/nav/main.html b/docs/_includes/nav/main.html index d0fd1f81cc..fe261be265 100644 --- a/docs/_includes/nav/main.html +++ b/docs/_includes/nav/main.html @@ -36,6 +36,7 @@