diff options
Diffstat (limited to 'doc/user/search')
-rw-r--r-- | doc/user/search/advanced_global_search.md | 8 | ||||
-rw-r--r-- | doc/user/search/advanced_search_syntax.md | 8 |
2 files changed, 0 insertions, 16 deletions
diff --git a/doc/user/search/advanced_global_search.md b/doc/user/search/advanced_global_search.md deleted file mode 100644 index 44af6f90cd9..00000000000 --- a/doc/user/search/advanced_global_search.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -redirect_to: advanced_search.md ---- - -This document was moved to [another location](advanced_search.md). - -<!-- This redirect file can be deleted after <2021-02-12>. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page --> diff --git a/doc/user/search/advanced_search_syntax.md b/doc/user/search/advanced_search_syntax.md deleted file mode 100644 index 44af6f90cd9..00000000000 --- a/doc/user/search/advanced_search_syntax.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -redirect_to: advanced_search.md ---- - -This document was moved to [another location](advanced_search.md). - -<!-- This redirect file can be deleted after <2021-02-12>. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page --> |