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

This job was skipped