search

w3c / aria-common

Shared files for the ARIA repositories
Other
8 stars 15 forks source link

Remove mapping-tables.js, no longer needed #101

Closed spectranaut closed 1 year ago

spectranaut commented 1 year ago

I have removed the script from everywhere, now, I think.

Wait to merge until this lands: https://github.com/w3c/mathml-aam/pull/28

pkra commented 1 year ago

@spectranaut I just realized: can css/mapping-tables.css go as well?