maj00r 3e9d5836f4 refactor(editor): the //$e header scripts share reading, decoding, the rewrite of the header, the backup and the zip in tools/editor/editor_headers.py instead of three copies; reports, zips and written files unchanged

2026-10-11 22:11:44 +02:00

4.1 KiB

Executable File

Raw Permalink Blame History

View Raw