[skip changelog] Document sketch.always_export_binaries configuration key#1215
Merged
per1234 merged 1 commit intoarduino:masterfrom Mar 9, 2021
per1234:document-sketch_always_export_binaries
sketch.always_export_binaries configuration key#1215