remove patches & pico-extra

Wiznet · Apr 24, 2023 · 827e7ac · 827e7ac
1 parent b9e7854
commit 827e7ac
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 43 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,6 +4,3 @@
 [submodule "libraries/pico-sdk"]
 	path = libraries/pico-sdk
 	url = https://github.com/raspberrypi/pico-sdk.git
-[submodule "libraries/pico-extras"]
-	path = libraries/pico-extras
-	url = https://github.com/raspberrypi/pico-extras.git
diff --git a/libraries/pico-extras b/libraries/pico-extras
diff --git a/patches/01_pico-extras_lwip_cmakelists.patch b/patches/01_pico-extras_lwip_cmakelists.patch
diff --git a/patches/02_pico-extras_lwip_dns.patch b/patches/02_pico-extras_lwip_dns.patch
diff --git a/patches/03_pico-extras_lwip_opt.patch b/patches/03_pico-extras_lwip_opt.patch