diff make-dist @ 29856:f157067ee950

(make-backup-file-name-1): On DOS/Windows, run the backup file name through convert-standard-filename.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Jun 2000 14:58:38 +0000
parents 43f15cfb67a0
children 349704f6532f
line wrap: on
line diff