diff options
author | Archit Gupta <71798289+archigup@users.noreply.github.com> | 2021-06-30 04:36:49 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-30 04:36:49 +0300 |
commit | 4200226708721021321ebcd79d715182eda8e39b (patch) | |
tree | 1b802668efd8bfc21993e9cdad7c9f020cccfee5 /.gitmodules | |
parent | 8b2a1b802af5d9944c566b6428e9cb69b1a70343 (diff) |
Move the community/partner supported ports to correct location (#361)
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index e7ef2b07e..aaa2390a6 100644 --- 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 |