diff man/mini.texi @ 54912:08fcaad03634

(vc-default-workfile-unchanged-p): Quote signal.
author André Spiegel <spiegel@gnu.org>
date Fri, 16 Apr 2004 10:21:51 +0000
parents 3264fbd6f6f5
children 9f99ae07c452
line wrap: on
line diff