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

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

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