[−][src]Constant rpi_pico_sdk::PICO_DEFAULT_LED_PIN

pub const PICO_DEFAULT_LED_PIN: u32 = 25;