diff make-dist @ 7944:a114bbe9a63c

(make-auto-save-file-name): Convert slashes to \! and double the backslashes.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 1994 21:42:34 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff