Всем доброго вечера, такая тут история, скажем так, есть папка, в ней 150-200 файлов с расширением WAV. Нужно у всех файлов изменить расширение на .mp3 (не перекодировать, а именно просто поменять)
В ручную понятное дело делать это долго и геморойно. Вот хотелось бы спросить у вас совета, как быть?
Гугл ничего вразумителньго мне не ответил.