From bf2b594066191f7dee335550c0f14e70cfef639b Mon Sep 17 00:00:00 2001
From: microDev <70126934+microDev1@users.noreply.github.com>
Date: Wed, 26 Aug 2020 08:33:21 +0530
Subject: [PATCH] Change microS2 board name

---
 ports/esp32s2/boards/{micro_s2 => microdev_micro_s2}/board.c | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename ports/esp32s2/boards/{micro_s2 => microdev_micro_s2}/board.c (100%)

diff --git a/ports/esp32s2/boards/micro_s2/board.c b/ports/esp32s2/boards/microdev_micro_s2/board.c
similarity index 100%
rename from ports/esp32s2/boards/micro_s2/board.c
rename to ports/esp32s2/boards/microdev_micro_s2/board.c