diff make-dist @ 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 e270203c0c9f
children f14a9b714a8e
line wrap: on
line diff