Bruce Momjian 4987ca2d88 This is a patch to make cube output work like double precision output ... with regard to the extra_float_digits setting. Since builtins.h was already included, I just deleted the extern statement (and accompaning comments). Bruno Wolff III		2002-11-23 03:50:21 +00:00
..
cube.out	This is a patch to make cube output work like double precision output	2002-11-23 03:50:21 +00:00