|
|
8aba067d05
|
settings: Convert JSON strings to the given type
|
2022-10-29 17:21:50 +02:00 |
|
|
|
af6e86d4ef
|
evdist: New project to handle settings programming
|
2022-06-08 02:57:29 +02:00 |
|
|
|
3c237819c3
|
settings: Save future changes in a dedicated file
|
2022-05-27 16:23:33 +02:00 |
|
