Skip to content
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

Updating glossary from the spreadsheet #135

Merged
merged 3 commits into from Jul 24, 2017

Conversation

Projects
None yet
2 participants
@shervinafshar
Copy link
Contributor

commented Jul 23, 2017

To address Issue #130.

@behnam

behnam approved these changes Jul 24, 2017

Copy link
Member

left a comment

Looks good! Thanks, @shervinafshar.

The diff looks like to be a little too large. Did you happen to run the formatter script (html tidy) as well? Should we do that separately, or want to do it here before merging?

@shervinafshar

This comment has been minimized.

Copy link
Contributor Author

commented Jul 24, 2017

@behnam

This comment has been minimized.

Copy link
Member

commented Jul 24, 2017

I see. Okay, let's land it then. :)

@behnam behnam merged commit dce128e into w3c:gh-pages Jul 24, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.