Skip to content

fix doxygen warnings (as mentioned in #228)#264

Merged
karel-m merged 1 commit intorelease/1.18.0from
pr/doxygen-warnings
Aug 9, 2017
Merged

fix doxygen warnings (as mentioned in #228)#264
karel-m merged 1 commit intorelease/1.18.0from
pr/doxygen-warnings

Conversation

@karel-m
Copy link
Copy Markdown
Member

@karel-m karel-m commented Aug 9, 2017

No code changes (thus no Travis-CI), just comments.

@sjaeckel once you find it OK, please do the merge

@sjaeckel sjaeckel added this to the v1.18.0 milestone Aug 9, 2017
@karel-m karel-m mentioned this pull request Aug 9, 2017
9 tasks
@sjaeckel
Copy link
Copy Markdown
Member

sjaeckel commented Aug 9, 2017

👍 merge

@karel-m karel-m merged commit 231af66 into release/1.18.0 Aug 9, 2017
@karel-m karel-m deleted the pr/doxygen-warnings branch August 9, 2017 07:53
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.

2 participants