Anders Blomdell
Clone of official tools
Revisions of options.py
| Revision | Date | Message | Actions |
|---|---|---|---|
| 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 |
| 22:9e85236d8716 | 2016-07-16 | Sync with the mbedmicro/mbed tools | File Diff Annotate |
| 13:ab47a20b66f0 | 2016-07-14 | Apply latest tools | File Diff Annotate |
| 0:66f3b5499f7f | 2016-05-19 | Initial revision | File Diff Annotate |