Merge pull request #359 from w3c/remove-infoset

Remove infoset
w3c · Nov 5, 2018 · 8e62b59 · 8e62b59
2 parents 097c38d + 968391f
commit 8e62b59
Show file tree

Hide file tree

Showing 5 changed files with 1,201 additions and 1,382 deletions.
diff --git a/images/clean_up_data.png b/images/clean_up_data.png
diff --git a/images/clean_up_data.svg b/images/clean_up_data.svg