Skip to content

Improve detection of git root by leveraging SourceLink#444

Merged
kzu merged 1 commit intomainfrom
dev/githead
Feb 18, 2025
Merged

Improve detection of git root by leveraging SourceLink#444
kzu merged 1 commit intomainfrom
dev/githead

Commits

Commits on Feb 18, 2025