diff --git a/_includes/docs_menu.html b/_includes/docs_menu.html index 74f8c94e..2f19c54b 100644 --- a/_includes/docs_menu.html +++ b/_includes/docs_menu.html @@ -31,7 +31,10 @@