diff options
author | Pete Johanson <peter@peterjohanson.com> | 2020-06-12 11:28:46 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-12 11:28:46 -0400 |
commit | 207a712f3e53588a4eb97987ff5cb58da30f6474 (patch) | |
tree | 2dec2d3bea14b59c28d1a86fe128cf4e1275d03f /docs | |
parent | 92a4f3985d1a51451067b94182e170516dbeed00 (diff) | |
parent | d11ade45d316398fa4d4ac84bc1a7766f3bfc84b (diff) |
Merge pull request #18 from innovaker/master
Replaced 'Basics' with 'Getting Started'
Diffstat (limited to 'docs')
-rw-r--r-- | docs/sidebars.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/sidebars.js b/docs/sidebars.js index 131d256..ffc6afa 100644 --- a/docs/sidebars.js +++ b/docs/sidebars.js @@ -1,6 +1,6 @@ module.exports = { someSidebar: { - Basics: ["intro", "hardware"], + 'Getting Started': ["intro", "hardware"], Development: ["dev-setup", "dev-clean-room", "dev-posix-board"], }, }; |