benchs: no not bench --phmod-typing
[nit.git] / benchmarks / bench_engines.sh
2013-07-15 Jean Privatbenchs: no not bench --phmod-typing
2013-07-15 Jean Privatbenchs: use nitmetrics instead of nitstats
2013-07-15 Alexandre Terrasabenches: moved bench in its own directory at project...