diff configure1.in @ 11580:7f357fe2cda5

(Info-edit-mode, Info-cease-edit): Use force-mode-line-update.
author Karl Heuer <kwzh@gnu.org>
date Tue, 25 Apr 1995 22:28:58 +0000
parents c1e70445780e
children
line wrap: on
line diff