|
| From: | Paul Eggert |
| Subject: | Re: Bug#159742: wdiff: --ignore-case option doesn't work, not properly documented (patch included) (fwd) |
| Date: | Thu, 5 Sep 2002 13:23:05 -0700 (PDT) |
That patch looks good to me (though it is reversed; the old file is listed as the new one and vice versa).
| [Prev in Thread] | Current Thread | [Next in Thread] |