Skip to content

Comments

updated README.md#8

Merged
FrancescoSaverioZuppichini merged 1 commit intomainfrom
fzuppichini/fix/readme
Feb 18, 2026
Merged

updated README.md#8
FrancescoSaverioZuppichini merged 1 commit intomainfrom
fzuppichini/fix/readme

Conversation

@FrancescoSaverioZuppichini
Copy link
Member

Minor changes in README

@FrancescoSaverioZuppichini FrancescoSaverioZuppichini merged commit 70b75d5 into main Feb 18, 2026
3 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.

1 participant