Skip to content

Conversation

lechnerc77
Copy link
Member

Purpose

  • Cleanup devcontainer configuration with env file

Pull Request Type

What kind of change does this Pull Request introduce?

[ ] Bugfix
[ ] Feature
[ ] Documentation content changes
[X] Other... Please describe: Cleanup

Other Information

n/a

@lechnerc77 lechnerc77 self-assigned this Nov 5, 2024
@lechnerc77 lechnerc77 merged commit 8d0f969 into main Nov 5, 2024
3 checks passed
@lechnerc77 lechnerc77 deleted the chore/cleanup_devcontainer branch November 5, 2024 15:01
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