Skip to content

Fix fetching and Eigen includes#52

Merged
julien-michot merged 3 commits intomainfrom
fix/thirdparties
Jan 24, 2026
Merged

Fix fetching and Eigen includes#52
julien-michot merged 3 commits intomainfrom
fix/thirdparties

Commits

Commits on Jan 21, 2026

Commits on Jan 24, 2026