Как изменить расширение файла вручную?
Не все пользователи ОС Windows знают, что изменить тип файла часто можно вручную, не прибегая к специальному софту. Это касается множества файлов, которые хранятся на жестком диске.
Предположим, у нас есть изображение в формате .png, которое нам нужно изменить в .jpeg, не заходя в Paint и прочие редакторы фото. Что для этого нужно сделать?