Skip to content

Conversation

@fvgh
Copy link
Member

@fvgh fvgh commented May 5, 2019

Fixes #393 .
Documentation improvement only.
No change log update required.

@fvgh fvgh requested a review from nedtwigg May 5, 2019 08:40
@nedtwigg nedtwigg merged commit ed4a02b into master May 6, 2019
@fvgh fvgh deleted the issue_393 branch July 28, 2019 09:57
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.

Couldn't find resource eclipse-fmt.xml

3 participants