Fixed incorrect board name for TinyPICO#3567

Merged

me-no-dev merged 2 commits intoespressif:masterfrom

UnexpectedMaker:TinyPICO

Jan 20, 2020

Commits on Dec 12, 2019

Fixed incorrect board name for TinyPICO - You can now use this to detect it's a TinyPICO at compile time....
Seon Rozenblum
committed

Commits on Jan 20, 2020

Merge branch 'master' into TinyPICO
me-no-dev
authored