diff make-dist @ 22084:08f31e440c92

(system-tmp-directory): New variable. (recover-session-finish): Unmark the current line so that the file being used for recovery will not get deleted.
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 May 1998 03:38:20 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff