diff make-dist @ 39291:f9c8c910fe9a

(Ffile_symlink_p): Fix last change.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 14 Sep 2001 11:20:57 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff