diff options
Diffstat (limited to 'doc-src/_nav.html')
-rw-r--r-- | doc-src/_nav.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc-src/_nav.html b/doc-src/_nav.html index 0ae0fa67..6c3afbe1 100644 --- a/doc-src/_nav.html +++ b/doc-src/_nav.html @@ -7,6 +7,7 @@ <li class="nav-header">Tools</li> $!nav("mitmproxy.html", this, state)!$ $!nav("mitmdump.html", this, state)!$ + $!nav("config.html", this, state)!$ <li class="nav-header">Features</li> $!nav("anticache.html", this, state)!$ |