Mike Fährmann db35c3b581 [directlink] separate filenames from paths ...

With this, all default filename formats specify an '{extension}'
and PathFormat.set_extension() reliably works for all files.

2019-11-28 23:50:00 +01:00

2.4 KiB

Raw Blame History

View Raw