diff options
| author | Paul Selkirk <paul@psgd.org> | 2016-06-28 01:20:42 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2016-06-28 01:20:42 -0400 |
| commit | b10811e13e90f5eef1437bfefe01e81c5faf5d4f (patch) | |
| tree | ffb8e318a9e4ce87e888dc9af646f6fe6d3ffd70 /libraries/mbed/rtos/Makefile | |
| parent | 75ddc749d6f86bbb5d0f7ca8fc52eeb1fb531426 (diff) | |
Only SO and wheel are allowed to upload.
Also add bootloader upload.
Diffstat (limited to 'libraries/mbed/rtos/Makefile')
0 files changed, 0 insertions, 0 deletions