изменить расширение

Во время работы иногда возникает необходимость изменить расширение файла. Это может потребоваться для файлов, с которыми можно работать в разных программах. Например, расширение текстового файла можно изменить с TXT на …