Use "Arduino Lint" as the project name#157

Merged

per1234 merged 1 commit intomainfrom

per1234/update-product-name

Jan 12, 2021

Commits on Jan 12, 2021

Use "Arduino Lint" as the project name
per1234
committed