diff options
author | Sverker Eriksson <[email protected]> | 2019-03-04 16:14:20 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-03-04 16:14:20 +0100 |
commit | 2052caebf9a9b8d25e1873d9c850b272a98d4680 (patch) | |
tree | 469b5fd71a9eba52c55ecd3b1a955cb348b82f84 /lib/jinterface | |
parent | 232a39c043ea27e83fa4956b1b8d802b3206a338 (diff) | |
parent | 674379e1f09748cbd497ba381ab8ddd6581effa6 (diff) | |
download | otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.tar.gz otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.tar.bz2 otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.zip |
Merge pull request #2163 from filmor/float-etf-doc
Clarify in the docs that (NEW_)FLOAT_EXT must be finite
Diffstat (limited to 'lib/jinterface')
0 files changed, 0 insertions, 0 deletions