diff options
| author | Kevin <chenkevinh11@gmail.com> | 2020-08-29 15:51:08 -0700 |
|---|---|---|
| committer | Kevin <chenkevinh11@gmail.com> | 2020-08-29 15:51:08 -0700 |
| commit | 35dc46bfbb472c01c2c791233bbe32734cb6dfd5 (patch) | |
| tree | 142293bec7285b9d90aeaf7ca975cd3dc9a795fa /docs/sidebars.js | |
| parent | ec6215f38e4f178740e0838bba3bf8ca6d9f1f0c (diff) | |
Made separate build and flash page with updated content
Diffstat (limited to 'docs/sidebars.js')
| -rw-r--r-- | docs/sidebars.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/sidebars.js b/docs/sidebars.js index d426667..3710137 100644 --- a/docs/sidebars.js +++ b/docs/sidebars.js @@ -18,6 +18,7 @@ module.exports = { Development: [ "dev-clean-room", "dev-setup", + "dev-build-flash", "dev-boards-shields-keymaps", "dev-posix-board", "dev-tests", |