bench: remove bench of option --generic-resolution-tree
authorJean Privat <jean@pryen.org>
Fri, 26 Jul 2013 13:04:02 +0000 (09:04 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Jul 2013 13:04:02 +0000 (09:04 -0400)
commit38a66ccb95e650f188b025c69dd27e164e807b08
tree31f77b072bbb0458fb15d921c1e8b2c743ada4f8
parentdabfffe9d483a0f200dc90ea248f5de054848006
bench: remove bench of option --generic-resolution-tree
benchmarks/bench_engines.sh