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

Some documentation improvements #8501

Merged
merged 1 commit into from Apr 30, 2021

Conversation

albert-github
Copy link
Collaborator

Some small documentation improvements.

Some small documentation improvements.
@albert-github albert-github added bug documentation bug in the documentation labels Apr 13, 2021
@doxygen doxygen merged commit c942669 into doxygen:master Apr 30, 2021
@albert-github albert-github added the fixed but not released Bug is fixed in github, but still needs to make its way to an official release label Apr 30, 2021
@albert-github albert-github deleted the feature/bug_docu_improv branch April 30, 2021 18:04
@doxygen doxygen removed the fixed but not released Bug is fixed in github, but still needs to make its way to an official release label Aug 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug documentation bug in the documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants