Merge: Clean benches
authorJean Privat <jean@pryen.org>
Mon, 19 Jun 2017 20:23:40 +0000 (16:23 -0400)
committerJean Privat <jean@pryen.org>
Mon, 19 Jun 2017 20:23:40 +0000 (16:23 -0400)
commitd4fccbf5b97a0fa8823c3bf4e95ce0d73996ec96
tree17556fcf5d6414be749fdd41dd2123d78c417f1b
parente67778fc128ce8de46f0521c64a47bcc26039c42
parent141d3218688260556188128b56e54c221c0deea8
Merge: Clean benches

Some cleanup in the benchmark/ directory to remove the yellow dots in http://gresil.org/jenkins/job/nit_bench/

Pull-Request: #2505