Skip to content

Conversation

@oleg-nenashev
Copy link
Member

Just reducing the vertical size of the documentation

Just reducing the vertical size of the documentation
@oleg-nenashev oleg-nenashev added the documentation Improvements or additions to documentation label May 24, 2023
@oleg-nenashev oleg-nenashev merged commit bc5fd23 into main May 25, 2023
@oleg-nenashev oleg-nenashev deleted the junit4-hide branch May 25, 2023 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants