Use the Python functor for deproject#167
Merged
michael-petersen merged 5 commits intodevelfrom Oct 21, 2025
Merged
Commits
Commits on Oct 17, 2025
- committed
Martin D. Weinberg - committed
Martin D. Weinberg
Commits on Oct 18, 2025
- andauthored
- committed
Martin D. Weinberg - committed
Martin D. Weinberg