tree 7b024016e727ae9707d48b45e74a9792406a2380
parent 721671cc4e5950e8cb1c905be720d4318bf9fcdb
parent 1b61aadcbe0f3d8c6898d28b7605347a7643190d
author Gael Guennebaud <g.gael@free.fr> 1347099409 +0200
committer Gael Guennebaud <g.gael@free.fr> 1347099409 +0200

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