Skip to content

Update outdated launch.json docs#1412

Merged
mfussenegger merged 1 commit intomasterfrom
launch.json
Dec 31, 2024
Merged

Update outdated launch.json docs#1412
mfussenegger merged 1 commit intomasterfrom
launch.json

Conversation

@mfussenegger
Copy link
Owner

Didn't reflect the changes made in #1237

Didn't reflect the changes made in #1237
@mfussenegger mfussenegger merged commit 0e673ac into master Dec 31, 2024
16 checks passed
@mfussenegger mfussenegger deleted the launch.json branch December 31, 2024 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant