diff etc/copying.paper @ 63443:24c727190495

(gdb-tooltip-print): Respect tooltip-use-echo-area. (menu): Re-order menu items.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 14 Jun 2005 21:14:48 +0000
parents e96ffe544684
children
line wrap: on
line diff