Subject: Re: 23.2; ediff-diff-options being ignored

From: Leo <[email-masked]>
Date: Fri, 25 Jun 2010 20:29:49 +0100

Granted the naming of ediff-diff-options is not optimal but the doc
string says clearly what you should do.