Skip to content

Update devcontainer settings to use the 'customizations' option - #485

Merged
athackst merged 1 commit into
mainfrom
maint/devcontainer-settings
Feb 17, 2023
Merged

athackst merged 1 commit into
mainfrom
maint/devcontainer-settings

Conversation

@athackst

Copy link
Copy Markdown
Owner

No description provided.

@github-actions github-actions Bot added the maintenance Non-behavior related change label Feb 17, 2023
@athackst
athackst merged commit fa24106 into main Feb 17, 2023
@athackst
athackst deleted the maint/devcontainer-settings branch February 17, 2023 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Non-behavior related change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant