Skip to content

Comments

Add basic dev-container#619

Closed
spoorcc wants to merge 1 commit intomainfrom
feature/dev-containers
Closed

Add basic dev-container#619
spoorcc wants to merge 1 commit intomainfrom
feature/dev-containers

Conversation

@spoorcc
Copy link
Contributor

@spoorcc spoorcc commented Oct 2, 2024

Fixes #618

@spoorcc spoorcc added the development Tools for development label Oct 2, 2024
@spoorcc spoorcc self-assigned this Oct 2, 2024
@spoorcc spoorcc force-pushed the feature/dev-containers branch 2 times, most recently from 3f608f7 to 64bacf7 Compare October 2, 2024 20:20
@spoorcc spoorcc force-pushed the feature/dev-containers branch from 64bacf7 to 61c745f Compare December 27, 2024 20:57
@ben-edna
Copy link
Contributor

Superseded by #639

@ben-edna ben-edna closed this Dec 28, 2024
@spoorcc spoorcc deleted the feature/dev-containers branch February 9, 2025 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

development Tools for development

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Move to devcontainers.json

2 participants