diff man/gpl.texi @ 80272:0b7b308fc107

(Fexpand_file_name): Decode home directory names. (Fsubstitute_in_file_name): Decode substituted variables.
author Jason Rumney <jasonr@gnu.org>
date Wed, 05 Mar 2008 00:19:53 +0000
parents 6853eb801a27
children
line wrap: on
line diff