Skip to content

fix up main element definition #9

Merged
merged 6 commits into from Jan 20, 2016

1 participant

@stevefaulkner

No description provided.

@stevefaulkner stevefaulkner merged commit de091e8 into w3c:gh-pages Jan 20, 2016

1 check passed

Details ipr PR deemed acceptable.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.