diff make-dist @ 98862:ee5b67d5228f

(ido-save-directory-list-file): Run file names that begin with a period thru `convert-standard-filename'.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 19 Oct 2008 10:07:39 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff