From 2779bf3d0f2cb2e9ffc6801a985f6804eb10ac87 Mon Sep 17 00:00:00 2001 From: Joel Marcey Date: Wed, 11 Apr 2018 19:21:02 -0700 Subject: [PATCH] Add Users to the header --- website/siteConfig.js | 1 + 1 file changed, 1 insertion(+) diff --git a/website/siteConfig.js b/website/siteConfig.js index 6fab50664b..6d5e7c7dee 100644 --- a/website/siteConfig.js +++ b/website/siteConfig.js @@ -142,6 +142,7 @@ const siteConfig = { headerLinks: [ {doc: 'installation', label: 'Docs'}, {page: 'help', label: 'Help'}, + {page: 'users', label: 'Users'}, {page: 'about-slash', label: 'About /'}, {blog: true, label: 'Blog'}, {