found it... sorry

I know this has been discussed before, but I can't find that post.. I have about 200 files that need to be re-named with a different extension. Is there any program that will do it for me?


[This message has been edited by temis (edited April 10, 2000).]