From b0de0b4609b758abe04fcc65f4cd9c73df49a554 Mon Sep 17 00:00:00 2001 From: albertony <12441419+albertony@users.noreply.github.com> Date: Thu, 27 Jan 2022 10:42:37 +0100 Subject: [PATCH] docs: include all commands in online help top menu drop-down --- docs/layouts/chrome/navbar.html | 28 +++++++++------------------- 1 file changed, 9 insertions(+), 19 deletions(-) diff --git a/docs/layouts/chrome/navbar.html b/docs/layouts/chrome/navbar.html index 75400a60a..7d1518562 100644 --- a/docs/layouts/chrome/navbar.html +++ b/docs/layouts/chrome/navbar.html @@ -34,24 +34,14 @@