Skip to content

replace some apply's by refine's - #41

Open
fblanqui wants to merge 2 commits into
Deducteam:masterfrom
fblanqui:apply
Open

fblanqui wants to merge 2 commits into
Deducteam:masterfrom
fblanqui:apply

Commits

Commits on Jul 2, 2025