Switching to contiguous webidl

w3c / push-api

Push API

https://w3c.github.io/push-api/

Other

146 stars 40 forks source link

Closed martinthomson closed 7 years ago

martinthomson commented 7 years ago

Closes #216

marcoscaceres commented 7 years ago

If you merge this in, I can help clean it up a bit more. There is a bunch of neat things ReSpec can do to link things together: http://github.com/w3c/respec/wiki/WebIDL-Guide

marcoscaceres commented 7 years ago

ok, on it! hope to have a PR in the next hour or so...