6 Jul
2008
6 Jul
'08
9:08 p.m.
Hello,
First off, sorry for the late reply.
On Fri, May 16, 2008 at 2:07 PM, Bastian Müller turbo24prg@web.de wrote:
I'm trying to use push-attrib, but unfortunately it doesn't work.
[...]
Another problem is that pop-attrib is exported, but is never defined
Thanks for the report. I believe I have pushed fixes for these issues, but I haven't tested them properly. Let me know if they work for you.
--
Luís Oliveira
http://student.dei.uc.pt/~lmoliv/