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

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

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