search

raspberrypi / pico-setup

92 stars 42 forks source link

Remove defunct OpenOcd option and rename picoprobe to debugprobe #31

Closed lurch closed 3 weeks ago

lurch commented 7 months ago

In line with https://github.com/raspberrypi/debugprobe/pull/117