diff options
author | Paul Selkirk <paul@psgd.org> | 2016-12-20 19:06:20 -0500 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2016-12-20 19:06:20 -0500 |
commit | fa731c8e3730596c618367014ce6d30d6e4c265a (patch) | |
tree | b010d3deecbc8b26a7b6001972ed70a36f1a767c /libraries/mbed | |
parent | bebc5595be1679bfcecc70a2be975c461c75524a (diff) |
The bootloader upgrade reboots now, so we don't need to log out of the CLI.
Diffstat (limited to 'libraries/mbed')
0 files changed, 0 insertions, 0 deletions