GassiGiuseppe 397e29742a minor update of settings

2025-09-30 13:58:20 +02:00

..

extensions.json

Added workspace recommendations

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

settings.json

minor update of settings

2025-09-30 13:58:20 +02:00