Skip to content
This repository has been archived by the owner on Sep 19, 2018. It is now read-only.

WebIDLParser.js #231

Closed
brettz9 opened this issue Jan 18, 2017 · 1 comment
Closed

WebIDLParser.js #231

brettz9 opened this issue Jan 18, 2017 · 1 comment

Comments

@brettz9
Copy link

brettz9 commented Jan 18, 2017 •
edited
Loading

I see references to WebIDLParser.js in the docs here and in code in web-platform-tests but I don't see a clear way that this file gets included?
@Ms2ger
Copy link
Contributor

Ms2ger commented Jan 18, 2017

It's handled here: https://github.com/w3c/wpt-tools/blob/8e71a1002c843eb363b8583645b433a5ee833ace/serve/serve.py#L100

@Ms2ger Ms2ger closed this as completed Jan 18, 2017
@brettz9 brettz9 mentioned this issue Jan 23, 2017
Closed
21 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@brettz9 @Ms2ger