tree a80585e30e57de6f470cc07ea96ac39cc80716ce
parent 9e80822fc974c7883d23b197a1a1063d34602420
parent 04f315d692d4b2b01635981d34b44743ba63571c
author Gael Guennebaud <g.gael@free.fr> 1347392165 +0200
committer Gael Guennebaud <g.gael@free.fr> 1347392165 +0200

Merged in jdh8/eigen (pull request PR-17)