Thomas Göttgens 04add9b91e revert config changes accidentally pushed

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

..

extensions.json

revert overcommit

2023-03-08 17:12:25 +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