groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Groff] HTML output in Mozilla


From: Werner LEMBERG
Subject: Re: [Groff] HTML output in Mozilla
Date: Fri, 13 Apr 2001 10:21:45 +0200 (CEST)

> One comment, size seems redundant since current_size is used later.

I've changed `current_size' to `size'.


    Werner

reply via email to

[Prev in Thread] Current Thread [Next in Thread]