Use correct terminology for Arduino IDE toolbar#401
Merged
jhansson-ard merged 1 commit intoarduino:mainfrom Jul 21, 2022
per1234:correct-ui-terminology
Merged
Use correct terminology for Arduino IDE toolbar#401jhansson-ard merged 1 commit intoarduino:mainfrom per1234:correct-ui-terminology
jhansson-ard merged 1 commit intoarduino:mainfrom
per1234:correct-ui-terminology