setting should not have been enabled

jepler · jepler · commit 2442d8c74f39 · 2024-11-10T10:57:02.000-06:00
diff --git a/ports/raspberrypi/boards/raspberry_pi_pico2/mpconfigboard.mk b/ports/raspberrypi/boards/raspberry_pi_pico2/mpconfigboard.mk
@@ -10,4 +10,3 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 
 CIRCUITPY__EVE = 1
-CIRCUITPY_SSL = 1

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,3 @@ CHIP_FAMILY = rp2`
`10`	`10`	`EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"`
`11`	`11`
`12`	`12`	`CIRCUITPY__EVE = 1`
`13`		`-CIRCUITPY_SSL = 1`