#ifndef __rpipico_pins_arduino_h__
#define __rpipico_pins_arduino_h__

#define LED_BUILTIN 13

#include "../generic/common.h"

#endif