diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html index 7024d532c..ea6903986 100644 --- a/docs/_includes/navigation.html +++ b/docs/_includes/navigation.html @@ -11,6 +11,29 @@