Skip to content

Fixes for issue #51#52

Merged
ReinhardKeil merged 1 commit into
mainfrom
fixes_for_51
Feb 12, 2026
Merged

Fixes for issue #51#52
ReinhardKeil merged 1 commit into
mainfrom
fixes_for_51

Conversation

@KeilChris
Copy link
Copy Markdown
Collaborator

Fixes #51

@ReinhardKeil ReinhardKeil merged commit 343288f into main Feb 12, 2026
1 check passed
@ReinhardKeil ReinhardKeil deleted the fixes_for_51 branch February 12, 2026 09:23
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.

Minor issues with documentation images

2 participants