Re: [w3c/uievents] Remove more definitions of MutationEvent and friends (PR #382)

> Argh! I thought this PR had already been merged before I deleted the obsolete files.

No problem. I believe I just rebased on top of all of the deletions, but could you take a look?

> Also, note that the README file has a "To make edits to the spec" section that identifies the files that need to be updated.

Right, I saw that, but it sounds from the wording like there shouldn't be target files (e.g. TR.html) included in the committed tree. And locally running build.py didn't seem to update any of them. So I was confused.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents/pull/382#issuecomment-2334963795
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/uievents/pull/382/c2334963795@github.com>