« Previous | Next » 

Revision c8239751

IDc8239751635c795db276d0dc77d59ecd9cb7123c
Parent c527afd3
Child fd84943c

Added by Fotis Stamatelopoulos almost 15 years ago

minor cosmetic change: appropriate button label

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences