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?

@Fishrock123
Copy link
Contributor

@reggi could please do these all in one PR? Thanks!

@silverwind
Copy link
Contributor

Closing in favor of #3291.

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.

4 participants