diff make-dist @ 12846:fc74ffbce5a9

(recover-file): It's ok if the visited file doesn't exist. (recover-session-finish): Compute "file name" from autosave file if no visited file.
author Richard M. Stallman <rms@gnu.org>
date Sun, 13 Aug 1995 16:48:13 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff