diff src/s/gnu-linux.h @ 20200:b69f8ea35fef

(DBL_MIN): Use workaround if DBL_MIN_REPLACEMENT is defined.
author Paul Eggert <eggert@twinsun.com>
date Wed, 29 Oct 1997 07:47:37 +0000
parents 3c18aa006200
children 8555e6a74cb9
line wrap: on
line diff