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)
Some cleanup in the benchmark/ directory to remove the yellow dots in http://gresil.org/jenkins/job/nit_bench/

Pull-Request: #2505


Trivial merge