-
Sylvain Dailler authored
When the format is not present, we use the extension of the file to generate it. This fixes a problem that occured in Python files when old sessions were kept, the file would become not parsable.
ce484aa2
When the format is not present, we use the extension of the file to generate it. This fixes a problem that occured in Python files when old sessions were kept, the file would become not parsable.