GIF动态图大小修改器，一款非常好用的图片大小批量修改神器。无需做出太多的操作，就可以快速的进入，来缩小GIF图的大小。