Re: Update html5-diff

On Mon, 13 Apr 2015 15:07:53 +0200, Robin Berjon <robin@w3.org> wrote:

> On 13/04/2015 15:04 , Simon Pieters wrote:
>> I'm not maintaining the W3C version of this document anymore though, I
>> just thought you may be interested in this particular fix.
>
> Yeah, but I reckon publishing from your source could be automated, no?

I've removed W3C-related things from the source, so it currently only  
describes "WHATWG HTML differences from HTML4". So I'm not sure how that  
could work.

-- 
Simon Pieters
Opera Software

Received on Monday, 13 April 2015 15:17:33 UTC