edit mbed library inclusion to fix weak function defs#307

Merged

Wenn0101 merged 3 commits intodevfrom

Dec 10, 2020

Commits on Dec 9, 2020

edit mbed library inclusion to fix weak function defs
Kyle Wenner
committed

Commits on Dec 10, 2020

update platform txt to no longer allow multiple definitions
Kyle Wenner
committed
removed micromod from the github jobs for now
Kyle Wenner
committed