|
extensions.json
|
Ajout des extentions utiles
|
2023-10-24 13:11:17 +02:00 |
|
launch.json
|
Ajout d'un environement de développement.
|
2023-10-26 15:33:03 +02:00 |
|
settings.json
|
Ajout d'une meilleur configuration
|
2023-10-26 16:47:46 +02:00 |
|
tasks.json
|
Ajout d'un environement de développement.
|
2023-10-26 15:33:03 +02:00 |
