On Wed, Sep 24, 2003 at 06:40:37PM +0000, Angus Leeming wrote:
> > string output = subst(lowercase(input), "$$rotatebegin",
> > "\\rotatebox[30]{");
>
> because I want to match the placeholder "$$rotatebegin" only and don't care
> about it being upper or lower case.
We should switch to _not_ ignoring case in general. This is an
unnecessary kind of 'freedom' and only makes maintanance harder.
Andre'
--
Those who desire to give up Freedom in order to gain Security, will not have,
nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
