Skip to content

Docdiff: use the correct path to get the root selector option#663

Merged
humitos merged 1 commit intomainfrom
humitos/docdiff-selector
Dec 11, 2025
Merged

Docdiff: use the correct path to get the root selector option#663
humitos merged 1 commit intomainfrom
humitos/docdiff-selector

Commits

Commits on Dec 11, 2025