tree fa0095db56b226f554ff4b4c1bb45aa329e005d1
parent 904509fbb664b3165531e6e4d7234d0765425ad9
parent 1eefa5a84192da236df601f067eb90e5bd5a9379
author Gael Guennebaud <g.gael@free.fr> 1404817996 +0200
committer Gael Guennebaud <g.gael@free.fr> 1404817996 +0200

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

Find benchmark opponents more aggressively