Skip to content

Docs linting#257

Merged
AlexanderBand merged 19 commits intomainfrom
docs-linting
Oct 22, 2025
Merged

Docs linting#257
AlexanderBand merged 19 commits intomainfrom
docs-linting

Conversation

@AlexanderBand
Copy link
Member

@AlexanderBand AlexanderBand commented Oct 21, 2025

Small text changes and css fixes

@AlexanderBand AlexanderBand changed the title consistent wording Docs linting Oct 21, 2025
@AlexanderBand AlexanderBand marked this pull request as ready for review October 22, 2025 11:55
@AlexanderBand AlexanderBand merged commit 5767b3d into main Oct 22, 2025
1 check passed
@AlexanderBand AlexanderBand deleted the docs-linting branch October 22, 2025 11:58
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