Skip to content

Add filtering for mod files#145

Merged
olamy merged 1 commit intomainfrom
mod-files-filtering
May 1, 2025
Merged

Add filtering for mod files#145
olamy merged 1 commit intomainfrom
mod-files-filtering

Conversation

@olamy
Copy link
Copy Markdown
Member

@olamy olamy commented May 1, 2025

Signed-off-by: Olivier Lamy olamy@apache.org

Signed-off-by: Olivier Lamy <olamy@apache.org>
@olamy olamy added the enhancement New feature or request label May 1, 2025
@olamy olamy merged commit d5d6fa7 into main May 1, 2025
11 checks passed
@olamy olamy deleted the mod-files-filtering branch May 1, 2025 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant