Chris Cannam f8d94082e0 If the output file extension differs from the input file extension and is one of the readily identified strings wav, w64, or ogg, then open the output file with that format; otherwise use the same format as the input (as we previously did always). See https://todo.sr.ht/~breakfastquay/rubberband/20

2022-09-26 17:56:29 +01:00

39 KiB

Raw Blame History

View Raw