diff options
author | Marcia Ramos <virtua.creative@gmail.com> | 2017-08-21 15:34:52 -0300 |
---|---|---|
committer | Marcia Ramos <virtua.creative@gmail.com> | 2017-08-21 15:34:52 -0300 |
commit | 905caab81a95d89f8426b8bbe530d843dd718354 (patch) | |
tree | ea12b6c2bdd13461357e0b82ca590be05a92ca2f /doc/user/index.md | |
parent | 71b89a87442f7a03387376fff60df8ba2233260b (diff) | |
download | gitlab-ce-905caab81a95d89f8426b8bbe530d843dd718354.tar.gz |
indexes user/search/ from /user/index
Diffstat (limited to 'doc/user/index.md')
-rw-r--r-- | doc/user/index.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/user/index.md b/doc/user/index.md index d664fd62754..e9ec603f2f1 100644 --- a/doc/user/index.md +++ b/doc/user/index.md @@ -126,6 +126,10 @@ are a tool for working faster and more effectively with your team, by listing all user or group mentions, as well as issues and merge requests you're assigned to. +## Search + +[Search and filter](search/index.md) through groups, projects, issues, merge requests, files, code, and more. + ## Snippets [Snippets](snippets.md) are code blocks that you want to store in GitLab, from which |