Jörn-Michael Miehe 8389ceb14a api: minor cfg/settings adjustment		2023-09-10 02:59:57 +00:00
..
launch.json	api: minor cfg/settings adjustment	2023-09-10 02:59:57 +00:00
settings.json	remove some deprecated values	2023-09-03 16:37:43 +00:00