« Previous | Next » 

Revision 1a97a220

ID1a97a220e9fd1b3ff6df2949ac45132eee7c8133

Added by Kostas Papadimitriou over 12 years ago

Updated settings names and document them in README.upgrade, Refs #1516

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences