mbedmicro/mbed — pull request #492 by ohagendorf (2014-09-15 20:13:12+00:00)
Title: [NUCLEO_F4x1RE] export to GCC_ARM

NUCLEO_401RE and NUCLEO_411RE can be exported to GCC_ARM