On Fri, May 22, 2009 at 08:33:26AM +0200, Gubinelli Massimiliano wrote: > This should be fixed now.
It is, thanks. Jeremy Henty _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
