Skip to content

Fix documentation links to Trixi.jl#93

Merged
andrewwinters5000 merged 1 commit intotrixi-framework:mainfrom
patrickersing:fix_doclinks
May 1, 2025
Merged

Fix documentation links to Trixi.jl#93
andrewwinters5000 merged 1 commit intotrixi-framework:mainfrom
patrickersing:fix_doclinks

Conversation

@patrickersing
Copy link
Copy Markdown
Member

See #92

@patrickersing patrickersing added bug Something isn't working documentation Improvements or additions to documentation labels May 1, 2025
@patrickersing patrickersing linked an issue May 1, 2025 that may be closed by this pull request
Copy link
Copy Markdown
Member

@andrewwinters5000 andrewwinters5000 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@andrewwinters5000 andrewwinters5000 enabled auto-merge (squash) May 1, 2025 12:11
@andrewwinters5000 andrewwinters5000 disabled auto-merge May 1, 2025 14:18
@andrewwinters5000 andrewwinters5000 merged commit 3912e10 into trixi-framework:main May 1, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix links to Trixi docs

2 participants