diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-22 18:20:36 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-22 18:20:36 -0800 |
| commit | f1a4721be6526a1376e16ae3ae67f801d9c363e9 (patch) | |
| tree | 0f14af0bdee5956f4c6927b5b90d58381b70560a /tools | |
| parent | 17c699ce10a4268370c45f829ccfcfdb9d0f486e (diff) | |
remove buggy condition stealing optimization, that is no longer useful anyhow
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions