bench: remove bench of option --generic-resolution-tree
[nit.git] / benchmarks / bench_plot.sh
2013-07-15 Alexandre Terrasabenches: moved bench in its own directory at project...