[w3c/manifest] Ran tidy. (PR #1076)

This change (choose at least one, delete ones that don't apply):

* Is a "chore" (metadata, formatting, fixing warnings, etc).

Commit message:

chore: Ran tidy.
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/manifest/pull/1076

-- Commit Summary --

  * Ran tidy.

-- File Changes --

    M index.html (4)

-- Patch Links --

https://github.com/w3c/manifest/pull/1076.patch
https://github.com/w3c/manifest/pull/1076.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/1076
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/manifest/pull/1076@github.com>

Received on Wednesday, 26 April 2023 01:34:26 UTC