diff --git a/docs/_includes/navbar.html b/docs/_includes/navbar.html deleted file mode 100644 index 5e6c5ae635..0000000000 --- a/docs/_includes/navbar.html +++ /dev/null @@ -1,34 +0,0 @@ - -