diff options
| author | microDev <70126934+microDev1@users.noreply.github.com> | 2020-08-26 08:38:42 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-26 08:38:42 +0530 |
| commit | b019ef2e4330dcf1e341a912be3fe5bcbbeeecb8 (patch) | |
| tree | 1eb66e63ec86c155f05a86e64ca8047de53e4fd9 /ports | |
| parent | f1f316c50236f11c91b64ec06d361380a8a485f5 (diff) | |
Change microS2 board name
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/esp32s2/boards/microdev_micro_s2/mpconfigboard.mk (renamed from ports/esp32s2/boards/micro_s2/mpconfigboard.mk) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ports/esp32s2/boards/micro_s2/mpconfigboard.mk b/ports/esp32s2/boards/microdev_micro_s2/mpconfigboard.mk index 783e7ad4c..783e7ad4c 100644 --- a/ports/esp32s2/boards/micro_s2/mpconfigboard.mk +++ b/ports/esp32s2/boards/microdev_micro_s2/mpconfigboard.mk |