diff --git a/docs/config.json b/docs/config.json index ca5f52a86cd97d6ba4a7b9bd8d3124f1ab2757dc..f717d2061232eedf33a65678a8f703febb628938 100644 --- a/docs/config.json +++ b/docs/config.json @@ -20,6 +20,6 @@ "Git Repo": "__GITURL__" }, "theme": "daux-blue", - "search": false + "search": true } } \ No newline at end of file