[skip changelog] Use local path for github.com/arduino/arduino-cli module dependency of docsgen#719
Merged
per1234 merged 1 commit intoarduino:masterfrom May 22, 2020
per1234:current-command-docs
Merged
[skip changelog] Use local path for github.com/arduino/arduino-cli module dependency of docsgen#719per1234 merged 1 commit intoarduino:masterfrom per1234:current-command-docs
per1234 merged 1 commit intoarduino:masterfrom
per1234:current-command-docs
