Skip to content

Conversation

@mslourens
Copy link
Contributor

No description provided.

@mslourens mslourens mentioned this pull request Dec 5, 2017
@kazup01 kazup01 self-requested a review December 5, 2017 10:31
Copy link
Member

@kazup01 kazup01 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@kazup01 kazup01 merged commit 7303e8b into BoostIO:master Dec 5, 2017
@kazup01
Copy link
Member

kazup01 commented Dec 5, 2017

Thanks @mslourens ;)

@mslourens mslourens deleted the ide-related-gitignore branch January 17, 2018 16:07
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.

3 participants