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 warning

check (t-watch-s3)

succeeded Dec 3, 2024 in 13m 10s