diff man/ChangeLog @ 43197:4934ed73c7a4

(Fsubstitute_in_file_name): If the file name includes ~user, and there's no such user, don't discard everything before ~user.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 08 Feb 2002 19:16:31 +0000
parents 6de0a2711fa9
children 69639ae98236
line wrap: on
line diff