[skip changelog] Fix missing commands in docs navigation#1096

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/docs-nav-fixarduino/arduino-cli:scerza/docs-nav-fixCopy head branch name to clipboard