diff --git a/.gitmodules b/.gitmodules index cf2eabc..63b1fda 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "arduino"] - path = arduino + path = arduino_core url = https://egit.irs.uni-stuttgart.de/eive/arduino_core.git diff --git a/arduino b/arduino_core similarity index 100% rename from arduino rename to arduino_core