Convert userprefs to a json file instead of header file which has to be included everywhere#5471
Merged
thebentern merged 6 commits intomasterfrom Dec 3, 2024
Merged
Convert userprefs to a json file instead of header file which has to be included everywhere#5471thebentern merged 6 commits intomasterfrom
thebentern merged 6 commits intomasterfrom
Commits
Commits on Nov 30, 2024
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
Commits on Dec 3, 2024
- committed