Skip to content

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

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 error and 1 warning

gather-artifacts (esp32)

failed Dec 3, 2024 in 41s