Move the community/partner supported ports to correct location (#361)

pull/341/head^2
Archit Gupta 4 years ago committed by GitHub
parent 8b2a1b802a
commit 4200226708
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
.gitmodules vendored

@ -1,6 +1,6 @@
[submodule "ThirdParty/FreeRTOS-Kernel-Partner-Supported-Ports"] [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 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports
[submodule "ThirdParty/FreeRTOS-Kernel-Community-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 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports

Loading…
Cancel
Save