diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-03-17 12:53:02 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-03-17 17:56:17 -0700 |
commit | dc797a4570fcb776020c886581f6de7feaf734ea (patch) | |
tree | 071813628c10298d0331eb83b9800eb97190ad23 /tools | |
parent | fb331c96b0c710e9b2ff4f944aa4b43e62a320e6 (diff) |
make simplifyIfs a settings option
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions