mbedmicro/mbed — pull request #766 by ohagendorf (2014-12-07 23:13:42+00:00)
Title: [DISCO_F4xx] add PeripheralPins.c/.h

Same work as @bcostm already did for NUCLEO targets.