Rename section titles in the docs and docset #218

merged 2 commits into from Apr 10, 2013


None yet

2 participants

kaishin commented Apr 5, 2013

No description provided.

Reda Lemeden added some commits Apr 5, 2013
@plapier plapier merged commit d984e1c into gh-pages Apr 10, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment