[skip changelog] Remove useless file#1138

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/remove-useless-filearduino/arduino-cli:scerza/remove-useless-fileCopy head branch name to clipboard