« Previous | Next » 

Revision a663d887

IDa663d887cad879795c8695381e3cb606a4271b69

Added by Kostas Papadimitriou over 12 years ago

Documented new UI settings in README.upgrade, Refs #1447

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences