Skip to content

devcontainer tools - #100

Merged
MusicalNinjaDad merged 2 commits into
mainfrom
devcontainer_tools
Aug 27, 2026
Merged

devcontainer tools#100
MusicalNinjaDad merged 2 commits into
mainfrom
devcontainer_tools

Conversation

@MusicalNinjaDad

@MusicalNinjaDad MusicalNinjaDad commented Aug 27, 2026

Copy link
Copy Markdown
Owner
  • fix rustup update invalid X-device link
  • add jaq, uv & graphify

@MusicalNinjaDad
MusicalNinjaDad merged commit 0ef8385 into main Aug 27, 2026
6 checks passed
@MusicalNinjaDad
MusicalNinjaDad deleted the devcontainer_tools branch August 27, 2026 09:52
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