Merge: phase: Introduction of new hook method
[nit.git] / benchmarks / bench_old.sh
2019-07-10 Jean Privatci: basic bench with old branch