Skip to content

Correct the output file extension when reading from STDIN#13

Merged
jhradilek merged 1 commit intomainfrom
fix-output-filename
Oct 7, 2025
Merged

Correct the output file extension when reading from STDIN#13
jhradilek merged 1 commit intomainfrom
fix-output-filename

Commits

Commits on Oct 7, 2025