ethz-asl/thirdparty_submodules — pull request #31 by simonlynen (2014-10-22 18:49:40+00:00)
Title: Fix/gtsam eigen

Use the patched eigen-version for now.