rik te winkel / mbed-dev

Forked mbed-dev as I use an 20 pins stm32F042 and not the 32 pins version

Dependents:   Numitron_clock

Fork of mbed-dev by mbed official

Diff: targets/TARGET_ublox/mbed_rtx.h

Revision:
153:0a78729d3229
Parent:
150:02e0a0aed4ec