Skip to content

Use correct terminology for Arduino IDE toolbar#401

Merged
jhansson-ard merged 1 commit intoarduino:mainfrom
per1234:correct-ui-terminology
Jul 21, 2022
Merged

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

Commits

Commits on Jul 21, 2022