From e66f7224b68981b5526fccf4b4466d72ef7c64e7 Mon Sep 17 00:00:00 2001 From: Tony Jurg <114746162+tonyjurg@users.noreply.github.com> Date: Fri, 12 Jul 2024 13:35:42 +0200 Subject: [PATCH] Create search.json --- docs/search.json | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/search.json diff --git a/docs/search.json b/docs/search.json new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/docs/search.json @@ -0,0 +1 @@ +