Skip to content

Improve handling of embedded resource $defs names#14

Merged
jviotti merged 1 commit intomainfrom
file-uris-extensions
Jan 16, 2026
Merged

Improve handling of embedded resource $defs names#14
jviotti merged 1 commit intomainfrom
file-uris-extensions

Commits

Commits on Jan 16, 2026