[tldoc] no more \write18

Staszek Wawrykiewicz staw at gust.org.pl
Wed Oct 21 13:06:21 CEST 2009

On Tue, 20 Oct 2009, Boris Veytsman wrote:

> Commenting out a line in boxedverbatim does not delete it.  You need
> to actually delete it...

Sure. I found that just after sending my mail. 

> I've added the changes to the Russian version


Staszek Wawrykiewicz
StaW at gust.org.pl

More information about the tldoc mailing list