diff options
author | Marcia Ramos <virtua.creative@gmail.com> | 2018-11-20 17:19:37 +0300 |
---|---|---|
committer | Marcia Ramos <virtua.creative@gmail.com> | 2018-11-20 17:19:37 +0300 |
commit | 93d9e5acb7d591516d77da764eb55540575eb8ae (patch) | |
tree | ae7503dd79a6802474a5570e2ec1758979e552fe | |
parent | 188873d023b5e7c14d0c228105dcf27a480f3b23 (diff) |
Add Operations > Metrics to the nav
-rw-r--r-- | doc/user/project/integrations/prometheus_library/index.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/user/project/integrations/prometheus_library/index.md b/doc/user/project/integrations/prometheus_library/index.md index 9b9b4f6c8ca..f05edf81871 100644 --- a/doc/user/project/integrations/prometheus_library/index.md +++ b/doc/user/project/integrations/prometheus_library/index.md @@ -1,3 +1,10 @@ +--- +nav_section: user +nav_category: operations +nav_title: Metrics +layout: default-copy +--- + # Prometheus Metrics library > [Introduced](https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/8935) in GitLab 9.0. |