Neil HaoandThomas Göttgens fa371bc844 Update extensions.json

2023-02-22 10:07:03 +01:00

..

extensions.json

Update extensions.json

2023-02-22 10:07:03 +01:00

settings.json

revert config changes accidentally pushed

2023-01-31 15:56:02 +01:00

tasks.json

I swear

2023-01-27 11:19:45 -06:00