mbedmicro/mbed — pull request #737 by ohagendorf (2014-11-22 21:49:19+00:00)
Title: [NUCLEO_F030R8][NUCLEO_F072RB] export to gcc_arm and coide

export NUCLEO_F072RB and NUCLEO_F030R8 to gcc_arm and coide incl. extensions of build_travis.py and build_release.py