tree 2b17f25e2be3429db680999521947d212f4d4a76
parent 4efcc14b912770385c5b698e3f7934406b17117e
author Gael Guennebaud <g.gael@free.fr> 1240314298 +0000
committer Gael Guennebaud <g.gael@free.fr> 1240314298 +0000

this should fix the linking issue with StdVector without any user
changes... I cross my fingers...