Skip to content

Only write dev.containers.defaultExtensions setting if devcontainers extension is installed#116

Merged
jeanp413 merged 1 commit intomasterfrom jp/fluffy-minkNov 11, 2024