Fix --ignore-case option
That port fails to work when DIFF_OPTIONS is set to something like "-u"
and the "-i" option to wdiff also fails to work (not the -i option is
not in the man page but it is in the NEWS file).
Submitted by: Dave Chapeskie <dchapes@ddm.crosswinds.net>
[Has anyone figured-out what makes the number 393 so interesting to PW, now?]
I wonder what was going through Jordan's head during his infamous
$Id$-smashing commit.
Before I forget....
Thanks to naddy@mips.rhein-neckar.de (Christian Weisgerber) for prompting
this commit. See msg-id: 7geokh$tje$1@mips.rhein-neckar.de