Revision c8239751
ID | c8239751635c795db276d0dc77d59ecd9cb7123c |
Parent | c527afd3 |
Child | fd84943c |
minor cosmetic change: appropriate button label
Files
- added
- modified
- copied
- renamed
- deleted
ID | c8239751635c795db276d0dc77d59ecd9cb7123c |
Parent | c527afd3 |
Child | fd84943c |
Added by Fotis Stamatelopoulos almost 15 years ago
minor cosmetic change: appropriate button label