Clone of official tools
Revisions of config.py
Revision | Date | Message | Actions |
---|---|---|---|
35:da9c89f8be7d | 2017-02-15 | Update tools to mbed-os 5.3.5 | File Diff Annotate |
31:8ea194f6145b | 2017-01-04 | Update tools to follow mbed-os tools release 5.3.1 | File Diff Annotate |
30:f12ce67666d0 | 2016-08-29 | Update tools from the mbed OS 5.1.2 release (instead of master) | File Diff Annotate |
29:1210849dba19 | 2016-08-29 | Port the latest tools patches from https://github.com/ARMmbed/mbed-os | File Diff Annotate |
24:25bff2709c20 | 2016-08-01 | Major update to tools from ARMmbed/mbed-os | File Diff Annotate |
13:ab47a20b66f0 | 2016-07-14 | Apply latest tools | File Diff Annotate |
10:2511036308b8 | 2016-06-14 | Update make, build and config scripts | File Diff Annotate |
8:a8ac6ed29081 | 2016-06-07 | Add missing files and profile support | File Diff Annotate |