jspijker
|
d2f5d059cb
Bump up the settings version to 21 in profiles/definitions
|
1 year ago |
jspijker
|
53d8e0c730
Applied printer-linter format
|
1 year ago |
Ghostkeeper
|
d9d90ab4b6
Increment setting_version to 20
|
2 years ago |
Konstantinos Karmas
|
3e143a012a
Change the setting version to 19
|
3 years ago |
Ghostkeeper
|
453b666b1d
Increment setting_version to 18
|
3 years ago |
Gabriele Rossetti
|
ec7b3ea8f9
Most recent updates
|
3 years ago |
Gabriele Rossetti
|
89c90c8e0d
setting_version to 17
|
3 years ago |
Gabriele Rossetti
|
e9573e4d2c
Fixed some bugs and name issues emerged during the build
|
3 years ago |