search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Remove allOptions temporary #283

Closed martinthomson closed 7 years ago

martinthomson commented 7 years ago

Closes #281.

Preview | Diff

beverloo commented 7 years ago

Let me just submit this since I'm about to send out changes to this algorithm too.