← Back to team overview

dolfin team mailing list archive

  1. dolfin team
  2. Mailing list archive
  3. Message #11585

Small bug in dolfin-order

  Thread Previous • Date Previous • • Thread Next 
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

Follow ups

  Thread Previous • Date Previous • • Thread Next