remove $deferred_ref
Dumas Patrice <[email protected]> Wed, 5 Feb 2003 18:33:02 +0100
| Newsgroups | gmane.comp.tex.texi2html.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, I am about to remove $deferred_ref as it seems to me that it is never assigned anything else than '', and it is tested in if ($deferred_ref). If somebody disagree, I could put it back. Pat