search

w3c / selection-api

Selection API
http://w3c.github.io/selection-api/
Other
47 stars 29 forks source link

chore(workflows/tidy): tidy document after merge #139

Closed marcoscaceres closed 3 years ago

marcoscaceres commented 3 years ago

This workflow will keep your documents nice and tidy 🧹.

It sends you a PR after a merge.

Please always check the PR carefully before merging it. Tidy changes markup, so if it gets garbage as input, it will try to recover from that (and sometimes it doesn't do the right thing!).