Modificar tamaño .GIF

Si son imagenes animados... ni idea, supongo que cambiando de tamaña a cada uno de los imagenes que compone el gif, y si es un solo imagen, pues con cualquier editor de imagenes le cambias el tamaño. Por ejemplo, con el paint seria como hacer una seleccion de la imagen, copiar y pegar...