picoprobe_config: default should be the Pico, not Debug Probe

This commit is contained in:
Jonathan Bell
2023-05-02 10:00:44 +01:00
parent c8eb077c6c
commit cdc33333c9

View File

@@ -47,8 +47,8 @@
// TODO tie this up with PICO_BOARD defines in the main SDK
//#include "board_pico_config.h"
#include "board_debugprobe_config.h"
#include "board_pico_config.h"
//#include "board_debugprobe_config.h"
//#include "board_example_config.h"