New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clean up table of content #53

Merged
merged 1 commit into from Jun 8, 2016

Conversation

Projects
None yet
2 participants
@alvestrand
Contributor

alvestrand commented Jun 8, 2016

This PR balances a number of unbalanced <section> directives, and moves
one example section.

Clean up table of content
This PR balances a number of unbalanced <section> directives, and moves
one example section.
@vr000m

This comment has been minimized.

Show comment
Hide comment
@vr000m

vr000m Jun 8, 2016

Contributor

LGTM.

Contributor

vr000m commented Jun 8, 2016

LGTM.

@alvestrand alvestrand merged commit 7a47aee into master Jun 8, 2016

1 check passed

ipr PR deemed acceptable.
Details

@vr000m vr000m deleted the fix-index branch Sep 21, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment