Chris Estreich 878b3820d2 Settings tweaks: add terminal & language sections, fix whell scroll in editor tab (#1763) 9 months ago
..
extensions.json 878b3820d2 Settings tweaks: add terminal & language sections, fix whell scroll in editor tab (#1763) 9 months ago
launch.json 5c55515959 Re-apply part of 00ec57a, npm script changes omitted 11 months ago
settings.json 93e70c62f1 Chore: Prettier for consistant formatting (#794) 1 year ago
tasks.json 5c55515959 Re-apply part of 00ec57a, npm script changes omitted 11 months ago