diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-02-21 09:25:21 -0500 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-02-21 09:25:21 -0500 |
| commit | 9335ada0d5d8a2754457fc705bb04a1e8cb6e470 (patch) | |
| tree | 7f8d9e438e510e20b524c5934cb53dbc20135777 /libraries/mbed/rtos/rtx | |
| parent | 0c298a1c2d0ab40760bf38b27fec43d8b8f3afb5 (diff) | |
Use bulk erase in the one place it makes sense.
Diffstat (limited to 'libraries/mbed/rtos/rtx')
0 files changed, 0 insertions, 0 deletions