批量修改文件名的小工具

这个小工具蛮好用的，可以批量对某个文件夹的所有文件名进行替换。

这是一个绿色软件，文件也很小，只有212kb