Skip to content
CI

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

check (icarus)

check (icarus)
succeeded Dec 3, 2024 in 9m 6s