Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix several links #645

Merged
merged 1 commit into from
Nov 17, 2024
Merged

Fix several links #645

merged 1 commit into from
Nov 17, 2024

Conversation

christophfroehlich
Copy link
Contributor

Found with new linkchecker settings

@christophfroehlich christophfroehlich merged commit 8bddea6 into master Nov 17, 2024
6 checks passed
@christophfroehlich christophfroehlich deleted the fix/links branch November 17, 2024 20:29
mergify bot pushed a commit that referenced this pull request Nov 17, 2024
(cherry picked from commit 8bddea6)

# Conflicts:
#	example_15/doc/userdoc.rst
mergify bot pushed a commit that referenced this pull request Nov 17, 2024
(cherry picked from commit 8bddea6)

# Conflicts:
#	example_15/doc/userdoc.rst
christophfroehlich added a commit that referenced this pull request Nov 17, 2024
christophfroehlich added a commit that referenced this pull request Nov 17, 2024
christophfroehlich added a commit that referenced this pull request Nov 17, 2024
Co-authored-by: Christoph Fröhlich <christophfroehlich@users.noreply.github.com>
christophfroehlich added a commit that referenced this pull request Nov 17, 2024
Co-authored-by: Christoph Fröhlich <christophfroehlich@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants