Skip to content

Conversation

MaxSagebaum
Copy link
Contributor

Make it simpler to find the installation commands.

As suggested in #580 (comment)

@hsutter
Copy link
Owner

hsutter commented Oct 17, 2025

Thanks!

@hsutter hsutter merged commit 018c1c6 into hsutter:main Oct 17, 2025
8 of 27 checks passed
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.

2 participants