Added GCC_ARM for NUCLEO_F401RE
Add missing pin labels used in examples.
Merge branch 'master' of https://github.com/mbedmicro/mbed
[GCC_ARM][DISCO_F407VG]: Enabled "-mfloat-abi=hard" option
Merge pull request #242 from dinau/f4-hard-float-mod

[GCC_ARM][DISCO_F407VG]: Enabled "-mfloat-abi=hard" option
Used the latest targets.py to include DISCO targets.
Merge branch 'master' of https://github.com/mbedmicro/mbed
[NUCLEO_xxx] Fix compilation error with missing Port names

This error was due to the last changed in the error.h file.
[NUCLEO_F401RE] Fix issue with PWM on PC_9

The correct channel is 4 and not 3.
[NUCLEO_F302R8] Correct D11-D13 pin names
[NUCLEO_F030R8] Fix issue with last changes in error.h
Added pins D14 and D15 for LPC1549
Merge branch 'master' of https://github.com/mbedmicro/mbed
Merge pull request #229 from todor603/master

Added GCC_ARM for NUCLEO_F401RE
Merge pull request #244 from bcostm/master

[NUCLEO_xxx] Various bugs correction