diff --git a/docs/search.md b/docs/search.md deleted file mode 100644 index 8b13789179..0000000000 --- a/docs/search.md +++ /dev/null @@ -1 +0,0 @@ -