GassiGiuseppe 007f1e9554 minor updates

2025-09-29 18:53:33 +02:00

..

extensions.json

Added workspace recommendations

2025-09-17 11:38:23 +02:00

settings.json

minor updates

2025-09-29 18:53:33 +02:00