diff --git a/docs/_includes/header.html b/docs/_includes/header.html index 1d3d7475..010c77d2 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -6,7 +6,7 @@ - DocSearch + DocSearch