Manuel Thalmann 1b0e3c0155 Update outdated extensions		2022-03-01 14:32:19 +00:00
..
extensions.json	Update outdated extensions	2022-03-01 14:32:19 +00:00
launch.json	Move from Chrome to Edge	2021-05-12 21:47:10 +00:00
settings.json	Exclude recursive directory from intelephense	2021-05-14 04:05:26 +00:00
tasks.json	Fix incorrect task-settings	2021-05-11 19:59:49 +00:00