Skip to content

Conversation

reggi
Copy link
Contributor

@reggi reggi commented Oct 8, 2015

No description provided.

@ChALkeR ChALkeR added the doc Issues and PRs related to the documentations. label Oct 8, 2015
@ChALkeR
Copy link
Member

ChALkeR commented Oct 8, 2015

Should this be unified with #3260?

@silverwind
Copy link
Contributor

Closing in favor of #3291.

@silverwind silverwind closed this Oct 9, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc Issues and PRs related to the documentations.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants