Skip to content

Conversation

@lucasmerlin
Copy link
Collaborator

No description provided.

@github-actions
Copy link

github-actions bot commented Oct 9, 2025

Preview available at https://egui-pr-preview.github.io/pr/7614-lucasminor-docs-improvements
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

View snapshot changes at kitdiff

@lucasmerlin lucasmerlin added the docs and examples Improving and adding documentation and examples label Oct 9, 2025
@lucasmerlin lucasmerlin merged commit da39198 into main Oct 9, 2025
48 of 49 checks passed
@lucasmerlin lucasmerlin deleted the lucas/minor-docs-improvements branch October 9, 2025 10:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs and examples Improving and adding documentation and examples

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants