David db870dc17d Update extensions.json

2024-08-29 16:40:17 +02:00

..

extensions.json

Update extensions.json

2024-08-29 16:40:17 +02:00

settings.json

tell vscode, if formatting, use whatever our trunk formatter wants (#4186)

2024-06-27 13:14:16 -05:00

tasks.json

I swear

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