Quiero cambiar la extension de un archivo *.txt, hecho con el bloc de notas a otra extension *.avs (creo) pero siempre me sale como archivo de texto, es para poder usarlo con el cce 2.50, como lo puedo hacer, ya que con cambiar nombre siempre me sale *.avs.txt, o sea, archivo de texto, gracias anticipadas