diff configure1.in @ 23699:3267bdc78cca

(desktop-save, desktop-create-buffer): Undo 10-22 change.
author Karl Heuer <kwzh@gnu.org>
date Wed, 11 Nov 1998 19:31:24 +0000
parents c1e70445780e
children
line wrap: on
line diff