[thelist] Batch conversion of images BMP -> GIF

Hello,

I need to convert about 3000 bmp images to gif or jpg format. Is there a
free tool that can do this automatically?

Thanks.

--Kevin