mbedmicro/mbed — pull request #821 by ohagendorf (2014-12-31 16:52:26+00:00)
Title: [NUCLEO/DISCO L053,F103,F100,F051] adding exporter to gcc_arm and coide

Adding missing to gcc_arm and/or CoIDE.
Some naming correction in disco_f051 target: had wrong PWM timer name and that's why was not compilable.