mbedmicro/mbed — pull request #92 by parisk (2013-10-24 09:21:48+00:00)
Title: Feature/pypi updates [package name, synced with upstream master]

This is an update to the PyPI feature branch. Renamed the package to `mbed-tools` after a request from @stephenpaulger.

Also this new list of patches is synced with the last version of the original (upstream) repo.