diff man/commands.texi @ 35822:cd59c63d4aac

(vc-rcs-diff-switches): New customization option. (vc-rcs-diff): Use it via vc-diff-switches-list.
author André Spiegel <spiegel@gnu.org>
date Thu, 01 Feb 2001 15:11:05 +0000
parents 94d46968a93f
children 90084231ad3e
line wrap: on
line diff