David Arranz de00a87c7b Añadir archivo de recomendaciones de extensiones y ajustar permisos de configuración		2026-09-16 13:35:29 +02:00
..
extensions.json	Añadir archivo de recomendaciones de extensiones y ajustar permisos de configuración	2026-09-16 13:35:29 +02:00
launch.json	Añadir archivo de recomendaciones de extensiones y ajustar permisos de configuración	2026-09-16 13:35:29 +02:00
settings.json	Añadir archivo de recomendaciones de extensiones y ajustar permisos de configuración	2026-09-16 13:35:29 +02:00