On Fri, 27 Aug 2004 18:48:19 +0200
Nikolai Weibull <[EMAIL PROTECTED]> wrote:
> Who should one contact about fixing that?
As of about a day ago, I guess that could be me ;)
A guard against double loading of boxes.mp is now added to the todo list.
Perhaps some other 'standard' files have to be do
* Taco Hoekwater <[EMAIL PROTECTED]> [Aug 27, 2004 15:40]:
> Don't know. Metapost seems to be complaining about something
> that is part of extra_endfig, but neither trees.mp nor mp-text.mp
> do anything with that, so it may be completely unrelated ?
Actually, it was boxes.mp's fault. I was "inpu