Anders Logg wrote: > On Wed, Jan 07, 2009 at 06:15:16PM +0100, Harish Narayanan wrote: >> There appears to be a bug in the dolfin-order script. >> >> When presented with a plain-text XML file to renumber, it does the right >> thing. When presented with a gzipped XML file to renumber, it writes out >> a plain-text XML file with the extension .xml.gz. >> >> This doesn't confuse DOLFIN but it does bother Emacs! >> >> Harish > > Should be fixed now.
Thanks! Harish _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
