Revision ee81f580
ID | ee81f5803eda208bd0e6f44df01a5f7188b5f2bb |
Parent | e03afb1c |
Child | 204107fb |
Use the shorter and more common label \"Save As\".
Files
- added
- modified
- copied
- renamed
- deleted
ID | ee81f5803eda208bd0e6f44df01a5f7188b5f2bb |
Parent | e03afb1c |
Child | 204107fb |
Added by Panagiotis Astithas almost 15 years ago
Use the shorter and more common label \"Save As\".