From 0e6cbc34e28b472f7677ed2be5d6ddceb6445c2c Mon Sep 17 00:00:00 2001 From: ri0t Date: Thu, 25 Apr 2019 21:11:32 +0200 Subject: [PATCH] Added development tool submodules --- .gitmodules | 8 ++++++++ NodeMCU-Tool | 1 + webrepl | 1 + 3 files changed, 10 insertions(+) create mode 100644 .gitmodules create mode 160000 NodeMCU-Tool create mode 160000 webrepl diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..d6a19ce --- /dev/null +++ b/.gitmodules @@ -0,0 +1,8 @@ +[submodule "NodeMCU-Tool"] + path = NodeMCU-Tool + url = https://github.com/AndiDittrich/NodeMCU-Tool.git + branch = master +[submodule "webrepl"] + path = webrepl + url = https://github.com/micropython/webrepl + branch = master diff --git a/NodeMCU-Tool b/NodeMCU-Tool new file mode 160000 index 0000000..7580ae7 --- /dev/null +++ b/NodeMCU-Tool @@ -0,0 +1 @@ +Subproject commit 7580ae70d4bdc5347c5ff6e51d11ece0f8aaa540 diff --git a/webrepl b/webrepl new file mode 160000 index 0000000..03492fe --- /dev/null +++ b/webrepl @@ -0,0 +1 @@ +Subproject commit 03492fef5c687e76057e6e93f6602b0a2dd5e660