aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/rtos/rtx
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-02-21 09:25:21 -0500
committerPaul Selkirk <paul@psgd.org>2017-02-21 09:25:21 -0500
commit9335ada0d5d8a2754457fc705bb04a1e8cb6e470 (patch)
tree7f8d9e438e510e20b524c5934cb53dbc20135777 /libraries/mbed/rtos/rtx
parent0c298a1c2d0ab40760bf38b27fec43d8b8f3afb5 (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