Re: [w3c/uievents] chore: sections use .txt extension (6473e86)

@marcoscaceres `.include` files are generated by `build.py` so I think the previous state was correct, unless we want to drop the script?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents/commit/6473e8689cef1d64245c35d994c6c7ef142b72ea#commitcomment-56312622

Received on Saturday, 11 September 2021 23:39:53 UTC