diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-04-05 18:14:09 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-04-05 18:14:09 +0300 |
commit | d4e0452ed946ca0cf4dd0537675abeda7a4c0ffa (patch) | |
tree | 1f719aa86ade289adefa247ba93a8f0f90528608 /doc/user/search | |
parent | cd17aa65132de074aab9ae50ab7bbf7f16428546 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/search')
-rw-r--r-- | doc/user/search/exact_code_search.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/user/search/exact_code_search.md b/doc/user/search/exact_code_search.md index df7d029b821..674b2813985 100644 --- a/doc/user/search/exact_code_search.md +++ b/doc/user/search/exact_code_search.md @@ -26,5 +26,7 @@ expressions, certain special characters will require escaping. Backslash can escape special characters and wrapping in double quotes can be used for phrase searches. +## Syntax + To understand the possible filtering options, see the [Zoekt query syntax](https://github.com/sourcegraph/zoekt/blob/main/doc/query_syntax.md). |