On Mon, Jul 18, 2011 at 12:52:38PM -0400, Whit Blauvelt wrote: Correction: > That is, you may _not_ need "a quicker trick to achieve case > insensitivity" if you just get rid of case insensitivity. - W
On Mon, Jul 18, 2011 at 12:52:38PM -0400, Whit Blauvelt wrote: Correction: > That is, you may _not_ need "a quicker trick to achieve case > insensitivity" if you just get rid of case insensitivity. - W
|