diff options
author | Achilleas Pipinellis <axil@gitlab.com> | 2017-11-21 21:28:25 +0300 |
---|---|---|
committer | Achilleas Pipinellis <axil@gitlab.com> | 2017-11-21 21:28:25 +0300 |
commit | 1ba72336718f10ba31428a6f46fbab38d8051351 (patch) | |
tree | cd6de4ceb6e2e418faa427279bb03d5484a0efeb /layouts/docsearch.html | |
parent | 965c8a72f03eea8f0bb734f13e01a20c9720e1a8 (diff) |
Remove unused ce tag now that we only show EE results
Diffstat (limited to 'layouts/docsearch.html')
-rw-r--r-- | layouts/docsearch.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/layouts/docsearch.html b/layouts/docsearch.html index d34e2b98..49e0d839 100644 --- a/layouts/docsearch.html +++ b/layouts/docsearch.html @@ -7,7 +7,7 @@ indexName: 'gitlab', inputSelector: '.docsearch', algoliaOptions: { // Filter by tags as described in https://github.com/algolia/docsearch-configs/blob/master/configs/gitlab.json - 'filters': "tags:ce OR tags:ee OR tags:omnibus OR tags:runner", + 'filters': "tags:ee OR tags:omnibus OR tags:runner", // Number of results shown in the search dropdown 'hitsPerPage': 10 }, |