Avoid copying whole directory on Open in all cases#7909

facchinm wants to merge 1 commit intoarduino:masterarduino/Arduino:masterfrom

facchinm:copy_directory_on_open_only_if_needed_masterfacchinm/Arduino:copy_directory_on_open_only_if_needed_masterCopy head branch name to clipboard