diff man/mule.texi @ 67366:de2840a4a2d9

(GDB Graphical Interface): Explain screen size setting. (Other GDB User Interface Buffers): Describe features specific to GDB 6.4.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 07 Dec 2005 23:41:07 +0000
parents 3723093a21fd
children 9aa281f8a64b 2d92f5c9d6ae
line wrap: on
line diff