Re: [dxwg] Proposal for numbering examples for cross-referencing (#673)

That's all been merged, @andrea-perego, and looks pretty good even just from a layout perspective.   If you get a chance to add the script then that would make it more useful (I don't fancy renumbering links every so often....)

-- 
GitHub Notification of comment by davebrowning
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/673#issuecomment-456865630 using your GitHub account

Received on Wednesday, 23 January 2019 16:19:47 UTC