diff config.bat @ 6099:19eaf70457d4

(Fset_window_configuration): Allow for menu-bar-lines to have changed since the configuration was created.
author Karl Heuer <kwzh@gnu.org>
date Sat, 26 Feb 1994 04:24:37 +0000
parents c87d1cd3f62a
children 73d9c538cce2
line wrap: on
line diff