Skip to content

Conversation

Neotamandua
Copy link
Member

Small update to the repository header. There is more work planned, but since this is not the highest priority, I will push the changes in small batches whenever there is some spare time.

@Neotamandua Neotamandua force-pushed the neotamandua/new_readme_header branch from 20c6010 to 84d2280 Compare November 8, 2024 13:54
@Neotamandua Neotamandua merged commit c869168 into master Nov 11, 2024
12 checks passed
@Neotamandua Neotamandua deleted the neotamandua/new_readme_header branch November 11, 2024 09:31
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