Skip to content

Small fixes devcontainer#41

Merged
zyronix merged 2 commits intomasterfrom
feature/small_fixes_devcontainer
Feb 10, 2023
Merged

Small fixes devcontainer#41
zyronix merged 2 commits intomasterfrom
feature/small_fixes_devcontainer

Conversation

@zyronix
Copy link
Copy Markdown
Member

@zyronix zyronix commented Feb 10, 2023

Adding clinfo into devcontainer
Changing the extensions to meet the open devcontainer specification

@zyronix zyronix merged commit 851161f into master Feb 10, 2023
@zyronix zyronix deleted the feature/small_fixes_devcontainer branch February 10, 2023 16:35
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