Skip to content

Conversation

ckormanyos
Copy link
Member

@ckormanyos ckormanyos commented Jun 28, 2025

The purpose of this PR is to handle the relatively simple text-based documentation redundancy mentioned in #685

@ckormanyos ckormanyos merged commit be584c5 into develop Jun 28, 2025
65 of 67 checks passed
@ckormanyos ckormanyos deleted the issue685 branch June 28, 2025 20:11
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.

1 participant