ethz-asl/eigen_catkin — pull request #8 by simonlynen (2014-10-22 20:44:16+00:00)
Title: Add the gtsam patches

This explicitly patches the download version of Eigen instead of taking the version that gtsam uses. This allows us to at least look at the diff.