diff lib-src/make-path.c @ 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 953e5ea2b8ea
children
line wrap: on
line diff