>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:

Angus> I think that push() is redundant code because we can access the
Angus> lyxfunc directly. Can I get rid of it?

Is it used somewhere?

JMarc

Reply via email to