Skip to content

Commit

Permalink
Merge pull request #101 from w3c/remove-mapping-tables
Browse files Browse the repository at this point in the history 
Remove mapping-tables.js, no longer needed
  • Loading branch information
@spectranaut
spectranaut committed Sep 2, 2023
2 parents eac5def + a84b661 commit 56a629e
Showing 1 changed file with 0 additions and 262 deletions.
262 changes: 0 additions & 262 deletions script/mapping-tables.js
View file

This file was deleted.

0 comments on commit 56a629e

Please sign in to comment.