mbedmicro/mbed — pull request #425 by AFritzMulti (2014-08-04 18:24:58+00:00)
Title: Modified PinNames.h and device.h

I modified PinNames.h to have the correct pin mapping and enabled a few elements in device.h for testing.