Skip to content
Back to pull request #5471

Convert userprefs to a json file instead of header file which has to be included everywhere #11276

Sign in to view logs

Convert userprefs to a json file instead of header file which has to be included everywhere

Convert userprefs to a json file instead of header file which has to be included everywhere #11276

Annotations

1 warning

build-rpi2040 (rak11310)  /  build-rpi2040

build-rpi2040 (rak11310) / build-rpi2040
succeeded Dec 3, 2024 in 7m 9s