diff options
| author | microDev <70126934+microDev1@users.noreply.github.com> | 2020-08-26 08:33:21 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-26 08:33:21 +0530 |
| commit | bf2b594066191f7dee335550c0f14e70cfef639b (patch) | |
| tree | 926d90f5958114b4a0deae15312a731733c8abb6 | |
| parent | 964a39164e9630144944c59c5be1f1fb47c760a0 (diff) | |
Change microS2 board name
| -rw-r--r-- | ports/esp32s2/boards/microdev_micro_s2/board.c (renamed from ports/esp32s2/boards/micro_s2/board.c) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ports/esp32s2/boards/micro_s2/board.c b/ports/esp32s2/boards/microdev_micro_s2/board.c index 1dc30b5af..1dc30b5af 100644 --- a/ports/esp32s2/boards/micro_s2/board.c +++ b/ports/esp32s2/boards/microdev_micro_s2/board.c |