Pieter Vander Vennet 4ed88609e5 Move license picker into usersettings, add possibility to highlight a setting		2023-01-13 02:49:37 +01:00
..
usersettings.json	Move license picker into usersettings, add possibility to highlight a setting	2023-01-13 02:49:37 +01:00