Activity

From 14.11.2018 to 13.12.2018

14.11.2018

23:27 Feature #838 (New): rename a file
when the user wants to rename a file, it would be useful if the field in the dialog window is already populated with ... giacomo
 

Also available in: Atom