Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add appendix for WebIDL index#159

Merged
zolkis merged 1 commit into
w3c:masterfrom
zolkis:master
Jan 18, 2019
Merged

Add appendix for WebIDL index#159
zolkis merged 1 commit into
w3c:masterfrom
zolkis:master

Conversation

@zolkis

@zolkis zolkis commented Jan 17, 2019

Copy link
Copy Markdown
Contributor

Signed-off-by: Zoltan Kis [email protected]

Signed-off-by: Zoltan Kis <[email protected]>
@zolkis

zolkis commented Jan 17, 2019

Copy link
Copy Markdown
Contributor Author

This helps reading all the API in one section.

@danielpeintner

Copy link
Copy Markdown
Contributor

Looks good

@zolkis zolkis merged commit 9e98139 into w3c:master Jan 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants