diff etc/GNU @ 48407:243072643e17

(menu-bar-options-menu): Improve tooltip string.
author Richard M. Stallman <rms@gnu.org>
date Mon, 18 Nov 2002 04:56:00 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff