mbedmicro/mbed — pull request #445 by Experiment-626 (2014-08-13 20:47:22+00:00)
Title: Renamed TARGET_GHI_MBUINO to TARGET_OC_MBUINO to match the new name of t...

...he platform;

Modified build_release.py, build_travis.py, and targets.py to accommodate the new name of OC_MBUINO from GHI_MBUINO.