Added programmer.default directive to set a default programmer for a board.#2416
Merged
cmaglie merged 5 commits intoarduino:masterfrom Nov 13, 2023
programmer.default directive to set a default programmer for a board.#2416