Closed jspricke closed 6 years ago
This is not needed anymore with the move from Eigen to Eigen3 in 707eb41.
Thanks for the cleanup!
This is not needed anymore with the move from Eigen to Eigen3 in 707eb41.