Skip to content

Update docs#87

Merged
cthoyt merged 22 commits into
mainfrom
update-docs
Jul 3, 2025
Merged

Update docs#87
cthoyt merged 22 commits into
mainfrom
update-docs

Conversation

@cthoyt
Copy link
Copy Markdown
Member

@cthoyt cthoyt commented Jun 25, 2025

Closes #81

@cthoyt cthoyt marked this pull request as ready for review July 3, 2025 12:59
@cthoyt cthoyt enabled auto-merge (squash) July 3, 2025 12:59
@cthoyt cthoyt merged commit f7b7e19 into main Jul 3, 2025
9 checks passed
@cthoyt cthoyt deleted the update-docs branch July 3, 2025 13:00
@cthoyt cthoyt mentioned this pull request Jul 3, 2025
cthoyt added a commit that referenced this pull request Jul 4, 2025
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.

Improve splash page of documentation

1 participant