Skip to content

Add proper name to find Eigen installation#217

Merged
zachcran merged 1 commit intomasterfrom
fix_find_eigen_installation
Jun 30, 2025
Merged

Add proper name to find Eigen installation#217
zachcran merged 1 commit intomasterfrom
fix_find_eigen_installation

Commits

Commits on Jun 30, 2025