diff make-dist @ 68821:7e3f2f8237f6

(Other GDB User Interface Buffers): Clarifications.
author Richard M. Stallman <rms@gnu.org>
date Sun, 12 Feb 2006 20:22:44 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff