diff make-dist @ 1140:5c36807e445c

(read_char_menu_prompt): Use X menu code if HAVE_X_WINDOWS and not NO_X_MENU.
author Richard M. Stallman <rms@gnu.org>
date Mon, 14 Sep 1992 22:10:55 +0000
parents 1dba066c1e0a
children 313f56268d18
line wrap: on
line diff