Kjeld Schouten 4ab41d42f2 fix pre-commit and cleanup

2024-10-19 15:18:05 +02:00

..

extensions.json

fix pre-commit and cleanup

2024-10-19 15:18:05 +02:00

launch.json

…

settings.json

fix pre-commit and cleanup

2024-10-19 15:18:05 +02:00

tasks.json

…