tree 11f14d6c5329d20da9c46f0bfb84320da4681704
parent 999678c3f0f93426713d6f723c7a15f7a6570f45
author Gael Guennebaud <g.gael@free.fr> 1296132699 +0100
committer Gael Guennebaud <g.gael@free.fr> 1296132699 +0100

fix various compilations issues