Vale, disculpas si este no es el hilo para este tema, pero no sabia donde ponerlo.

Bueno, quisiera saber con que programa se pueden convertir animaciones gif a avi, o cualquier otro formato para añadirlos a mis ediciones de video.

Gracias y saludos...

¿Con qué programa trabajas?
Yo por ejemplo añado mis gifs a la línea del tiempo del Vegas y me los acepta sin problemas.