Subject: bug#6512: 23.2; ediff-diff-options being ignored

From: Leo <[email-masked]>
Date: Thu, 22 Sep 2011 07:43:22 +0800

On 2011-09-22 05:03 +0800, Lars Magne Ingebrigtsen wrote:
>> Granted the naming of ediff-diff-options is not optimal but the doc
>> string says clearly what you should do.
>
> What is it that should be done?

I was commenting on the fact that ediff-diff-options was for options
passing to the external tool `diff' while ediff-custom-diff-options for
ediff.

Leo