From: Jean Privat Date: Mon, 19 Jun 2017 20:23:40 +0000 (-0400) Subject: Merge: Clean benches X-Git-Url: http://nitlanguage.org 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 --- d4fccbf5b97a0fa8823c3bf4e95ce0d73996ec96