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/