This repository was archived by the owner on Aug 11, 2021. It is now read-only.

Search for portenta instead of mbed#20

Merged

Lenardgeorge merged 1 commit intomasterfrom

fix-search-portenta

Jul 31, 2020

Commits on Jul 29, 2020

Search for portenta instead of mbed
alranel
authored