diff make-dist @ 43755:485d5d33f9d6

(make-auto-save-file-name): Make sure the produced file name does not contain characters that are invalid for DOS/Windows filesystems.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 06 Mar 2002 18:19:43 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff