El mar, 13 de 05 de 2003 a las 18:50, Dominik Fretz escribió: > hello Gonzalo > > Gonzalo Paniagua Javier wrote: > > Fixed in CVS. > > > > -Gonzalo > > is it possible that this change didn't hit the anon cvs server? anoncvs takes between 0 and 6 hours to update. -Gonzalo