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 /system/doc/top/Makefile | |
| 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 'system/doc/top/Makefile')
0 files changed, 0 insertions, 0 deletions