Jan De Dobbeleer 865281e844 chore: align dev build with prod		2023-02-28 20:13:20 +01:00
..
extensions.json	docs: api debug settings	2022-01-09 20:24:47 +01:00
launch.json	chore: remove config reference	2023-02-08 20:44:24 +01:00
settings.json	revert: debug theme is json	2022-06-03 20:30:05 +02:00
tasks.json	chore: align dev build with prod	2023-02-28 20:13:20 +01:00