diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2021-12-20 12:46:29 +0300 |
|---|---|---|
| committer | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2021-12-20 12:46:29 +0300 |
| commit | e3a5752a303dff144dec71f909b5721cf2ffdb64 (patch) | |
| tree | 5abfa48393aa753901085370e302e8920c0de0f5 /libraries/mbed/rtos/rtx | |
| parent | 1d6609566a71dee86fc1ae33175052ebbfdba24a (diff) | |
Small fix to the upload script. Skip dummy text information preceeding actual
bitstream data.
Diffstat (limited to 'libraries/mbed/rtos/rtx')
0 files changed, 0 insertions, 0 deletions