diff options
author | Brian Paul <[email protected]> | 2000-02-12 15:55:34 +0000 |
---|---|---|
committer | Brian Paul <[email protected]> | 2000-02-12 15:55:34 +0000 |
commit | e39ed58116bec6c938cbda42e2021ff29823a122 (patch) | |
tree | e34856d0ee61ca6d8ac64bd3091000cf01b996be /Make-config | |
parent | 59d6da5365c876ba18a66cd51ed52b0e1d96704e (diff) |
always include <float.h>
Diffstat (limited to 'Make-config')
0 files changed, 0 insertions, 0 deletions