* gdbint.texinfo (COERCE_FLOAT_TO_DOUBLE): Clarify.
authorJim Blandy <jimb@codesourcery.com>
Tue, 13 Nov 2001 18:52:53 +0000 (18:52 +0000)
committerJim Blandy <jimb@codesourcery.com>
Tue, 13 Nov 2001 18:52:53 +0000 (18:52 +0000)
commit3fe0dc10b4c2f1e83f693ded633a2e0d500c0c5e
treea13f4f6eed5de88a8b19deb9fa8714d05688eb4a
parent3b2a7ae505208f25f77bf756e07f9cd47cccba35
* gdbint.texinfo (COERCE_FLOAT_TO_DOUBLE): Clarify.
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo