diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-12-17 16:48:26 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-12-17 16:48:26 -0800 |
| commit | d5b8f39c9a7ec9cb5f6d363807fac85ae5e82302 (patch) | |
| tree | 470073103bfa37d0cc2e3eec1ee79177fc3e5033 /tools/shared.py | |
| parent | 08191fe5f719092c3b5fe283bb76514485edc10d (diff) | |
allow picking the js engine for benchmarking
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions