Re: Bug #7888 Updated: decrement syntax should be -- instead of -
| From: | Hartmut Holzgraefe | Date: | Wed, 26 Sep 2001 07:23:20 +0000 |
| Subject: | Re: Bug #7888 Updated: decrement syntax should be -- instead of - | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969337751@lists.php.net to get a copy of this message | ||
Jouni Ahto wrote:
And this "feature" will be hacked around on the next update of PDFs. i had a look at the sources for the openjade tex backendyesterday evening and i think i have a fix for it it compiled but it was to late to test it yesterday as i'm already on it: are there other multi-character sequences besides '--' and '<<<' i should deal with?