diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-08-26 21:42:49 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-26 21:42:49 -0700 |
commit | 71ce3922336051978d9fc1aa3be642b68e522d1c (patch) | |
tree | 94ba1a4383704137f1212b64170c65d13a0cacd5 /tools | |
parent | 0269efbd05ddad154e55a8802172eb9ddd701b3e (diff) |
handle structural constants in calls
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions