From 0bfa0598daf0eea3e388a39fe4be6019a3a147bd Mon Sep 17 00:00:00 2001
From: proddy <paul@derbyshire.nl>
Date: Wed, 19 Aug 2020 18:15:04 +0200
Subject: [PATCH] use dev arduino library for ESP32

---
 platformio.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platformio.ini b/platformio.ini
index 3c3112337..dcb5e055e 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -85,8 +85,8 @@ lib_ignore =
 [env:esp32]
 board = esp32dev
 build_type = release
-platform = espressif32
-; platform = https://github.com/platformio/platform-espressif32.git
+; platform = espressif32
+platform = https://github.com/platformio/platform-espressif32.git
 board_build.partitions = min_spiffs.csv ; https://github.com/espressif/arduino-esp32/blob/master/tools/partitions/
 lib_deps = ${common.libs_core}
 build_flags = ${common.build_flags} ${common.debug_flags}