« Previous | Next » 

Revision 3306ff58

ID3306ff5835f05b9d1e63a8254ec9d5e6ab41f968
Parent 07e060db
Child 2b27132d

Added by Radhika Chippada about 1 month ago

3821: improve the tooltip on rename file option.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences