mirror of https://github.com/ARMmbed/mbed-os.git
Rebuild the json files used by arm-pack-manager now that a bug in version selection has been fixed. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| aliases.json | ||
| index.json | ||
| pack_manager.py | ||