tree c50ca3ce31098bffe1cbfe8907ff0b3425fddc7f
parent 844e5447f8dd28989a58cd33e357bb68bc175c2a
author Gael Guennebaud <g.gael@free.fr> 1550667574 +0100
committer Gael Guennebaud <g.gael@free.fr> 1550667574 +0100

Fix compilation with gcc and remove TR1 stuff.