diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-08-18 12:36:42 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-08-18 22:29:13 +1000 |
| commit | 59e3348c101efee4071dd2224d01ccce6075b692 (patch) | |
| tree | 20cc4128a949bbc7463c608ca9e61bb9179199b9 /docs/esp32/tutorial/intro.rst | |
| parent | 263737ecfea6ec1049ef3aff37913866ebd463e5 (diff) | |
tools/mpremote: Add "edit" command.
This allows a remote file to be edited locally by copying it over, running
the local editor, then copying it back.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'docs/esp32/tutorial/intro.rst')
0 files changed, 0 insertions, 0 deletions