3 ms·

Are there any decent free tools for doing batch conversions on mp3 or wav files to the formats needed for HTML5 audio across browsers?