-
Urs Fleisch authored
close files before rename and delete, is necessary on Windows; moved Enter new filename/directory to separate line, so that it is translated
97af798f
close files before rename and delete, is necessary on Windows; moved Enter new filename/directory to separate line, so that it is translated