Closed EricDepagne closed 6 months ago
The files produced during the last step of the extraction, by the script extract.py, have a very minimalistic header. It would be convenient if the original header was kept.
The files produced during the last step of the extraction, by the script extract.py, have a very minimalistic header. It would be convenient if the original header was kept.