search

ethz-asl / eigen_catkin

Eigen convenience for catkin
Other
29 stars 54 forks source link

Fetch upstream eigen #1

Closed simonlynen closed 10 years ago