Skip to content

update input-dir call sites to use multi input search#20

Merged
mobileoverlord merged 1 commit intomainfrom
jschneck/multi-input
Dec 3, 2025
Merged

update input-dir call sites to use multi input search#20
mobileoverlord merged 1 commit intomainfrom
jschneck/multi-input

Conversation

@mobileoverlord
Copy link
Contributor

Fix up input-dir search across stone to support multi input-dirs

@mobileoverlord mobileoverlord merged commit 7c75156 into main Dec 3, 2025
4 checks passed
@mobileoverlord mobileoverlord deleted the jschneck/multi-input branch December 3, 2025 17:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant