David db870dc17d Update extensions.json		2024-08-29 16:40:17 +02:00
..
extensions.json	Support for Polish OLED characters	2024-08-28 13:10:19 +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