« Previous | Next » 

Revision 2b9d7d53

ID2b9d7d530a709d828ec4a0b078fe0463dbdc21f0
Parent c9ffbe84
Child c1f07e54

Added by fstamatelopoulos about 15 years ago

- added update option in file menu
- added file update icon (changed accordingly in file context menu)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences