Skip to content

Optionally return match operations in get_all_paths#5

Merged
DrKomodo merged 1 commit intomainfrom
match
Jun 30, 2025
Merged

Optionally return match operations in get_all_paths#5
DrKomodo merged 1 commit intomainfrom
match

Conversation

@DrKomodo
Copy link
Copy Markdown
Contributor

No description provided.

@DrKomodo DrKomodo self-assigned this Jun 30, 2025
@DrKomodo DrKomodo requested a review from KMCzajkowski June 30, 2025 09:49
@DrKomodo DrKomodo merged commit 55fe012 into main Jun 30, 2025
5 checks passed
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