|
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] |