Open tomjnixon opened 2 years ago
we don't need to ship our own version now that eigen 3.4 has been released
we don't need to ship our own version now that eigen 3.4 has been released