mbedmicro/mbed — pull request #678 by ohagendorf (2014-11-09 23:17:51+00:00)
Title: [TARGET_DISCO_F303] Reorder structure

Moves target disco_f303 into the new structure.