From 0b4516eef50d447dee1342d9780efcbd67a13f24 Mon Sep 17 00:00:00 2001
From: P-R-O-C-H-Y <90197375+P-R-O-C-H-Y@users.noreply.github.com>
Date: Wed, 19 Jan 2022 15:26:40 +0100
Subject: [PATCH] Rename pins_Arduino.h to pins_arduino.h (#6153)

fixes: #6152
---
 variants/doitESPduino32/{pins_Arduino.h => pins_arduino.h} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename variants/doitESPduino32/{pins_Arduino.h => pins_arduino.h} (100%)

diff --git a/variants/doitESPduino32/pins_Arduino.h b/variants/doitESPduino32/pins_arduino.h
similarity index 100%
rename from variants/doitESPduino32/pins_Arduino.h
rename to variants/doitESPduino32/pins_arduino.h