Skip to content

change default propagation styles to begin with W3C#18

Merged
dgoffredo merged 1 commit into
mainfrom
david.goffredo/w3c-in-default
Jan 13, 2023
Merged

change default propagation styles to begin with W3C#18
dgoffredo merged 1 commit into
mainfrom
david.goffredo/w3c-in-default

Commits

Commits on Jan 13, 2023