benchs: no not bench --phmod-typing
[nit.git] / benchmarks / bench_plot.sh
2013-07-15 Alexandre Terrasabenches: moved bench in its own directory at project...