Move the community/partner supported ports to correct location (FreeR…

…TOS#361)
Yousni · Jun 30, 2021 · 4200226 · 4200226
1 parent 8b2a1b8
commit 4200226
Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "ThirdParty/FreeRTOS-Kernel-Partner-Supported-Ports"]
-	path = ThirdParty/Partner-Supported-Ports
+	path = portable/ThirdParty/Partner-Supported-Ports
 	url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports
 [submodule "ThirdParty/FreeRTOS-Kernel-Community-Supported-Ports"]
-	path = ThirdParty/Community-Supported-Ports
+	path = portable/ThirdParty/Community-Supported-Ports
 	url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports
diff --git a/ThirdParty/Community-Supported-Ports → ...able/ThirdParty/Community-Supported-Ports b/ThirdParty/Community-Supported-Ports → ...able/ThirdParty/Community-Supported-Ports
diff --git a/ThirdParty/Partner-Supported-Ports → portable/ThirdParty/Partner-Supported-Ports b/ThirdParty/Partner-Supported-Ports → portable/ThirdParty/Partner-Supported-Ports