diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-15 20:46:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-15 20:46:10 +0200 |
| commit | 4f8d9f0915ccf6e337313e7b47adc7487d76e313 (patch) | |
| tree | 9e51ba524cee48535221dc3123f86db25d369c12 /servers | |
| parent | 7b1f1dbf37a06b4dd5922f843101fce8b980481c (diff) | |
| parent | cd1e14b1da0578aef1566e48b092a84b846372a6 (diff) | |
Merge pull request #9177 from tagcup/gcc5_isinf
Use inline code for isinf with gcc versions <6.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions