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

This job failed