diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-30 10:19:05 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-30 10:19:05 -0700 |
| commit | 48ae14de71a389f29fdb6542e04e1c805788f5bb (patch) | |
| tree | cc81da4ac40b956b48c6d600cbeb67a0881375f9 /tools | |
| parent | 80343d763780369d7557543f5e1f11e8a0e0eb7f (diff) | |
| parent | dd7c2d916423ed3ae9140c7774a7af68d9ba8f65 (diff) | |
Merge pull request #1116 from waywardmonkeys/use-isfinite
Use isfinite() instead of finite().
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions