Preferences option to allow use of sketch's platform.sketch.txt file#7821

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

phd:phd-use-platform-shetch-txtphd/Arduino:phd-use-platform-shetch-txtCopy head branch name to clipboard