« Previous | Next » 

Revision ee81f580

IDee81f5803eda208bd0e6f44df01a5f7188b5f2bb
Parent e03afb1c
Child 204107fb

Added by Panagiotis Astithas almost 15 years ago

Use the shorter and more common label \"Save As\".

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences