« Previous | Next » 

Revision ad8b38cb

IDad8b38cb00141308f1f01a4c6b9effb35203f090
Parent defd0822
Child 6cf624d3

Added by Giannis Koutsoubos about 15 years ago

add a refresh command in folder, file popups and File menu

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences