diff options
| author | Aldo Cortesi <aldo@corte.si> | 2018-05-15 12:01:10 +1200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-15 12:01:10 +1200 |
| commit | b87a1a650c02e0df3f65ec1c126eace5e9139947 (patch) | |
| tree | db3fb15dfe00551e8b6a223a0007c231347374da /docs/src/layouts | |
| parent | 3ec3e4bcc994122b0678d56abff70174478b9238 (diff) | |
| parent | 56010ebcb7e3ac175441c6f2d1cbdf12067092ca (diff) | |
| download | mitmproxy-b87a1a650c02e0df3f65ec1c126eace5e9139947.tar.gz mitmproxy-b87a1a650c02e0df3f65ec1c126eace5e9139947.tar.bz2 mitmproxy-b87a1a650c02e0df3f65ec1c126eace5e9139947.zip | |
Merge pull request #3125 from cortesi/ndocs
docs: tweaks and document keys.yaml
Diffstat (limited to 'docs/src/layouts')
| -rw-r--r-- | docs/src/layouts/partials/sidebar.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/src/layouts/partials/sidebar.html b/docs/src/layouts/partials/sidebar.html index 5ea41c12..2dbec23a 100644 --- a/docs/src/layouts/partials/sidebar.html +++ b/docs/src/layouts/partials/sidebar.html @@ -8,6 +8,9 @@ <p class="menu-label"> Overview </p> {{ partial "sidemenu" (dict "ctx" . "menuname" "overview") }} + <p class="menu-label">Tools</p> + {{ partial "sidemenu" (dict "ctx" . "menuname" "tools") }} + <p class="menu-label">Core concepts</p> {{ partial "sidemenu" (dict "ctx" . "menuname" "concepts") }} |