Skip to content

Remove criterion exclude attribute, use logical criterion combination with not instead#242

Merged
glichtner merged 9 commits intomainfrom
remove-exclude
Dec 10, 2024
Merged

Remove criterion exclude attribute, use logical criterion combination with not instead#242
glichtner merged 9 commits intomainfrom
remove-exclude

Commits

Commits on Dec 4, 2024

Commits on Dec 6, 2024

Commits on Dec 10, 2024