Skip to content

Prevent tool configurations from being resolved outside project#1447

Merged
nedtwigg merged 5 commits intodiffplug:mainfrom JakeWharton:patch-1Jan 3, 2023

Commits

Commits on Jan 3, 2023