Revision 1a97a220
ID | 1a97a220e9fd1b3ff6df2949ac45132eee7c8133 |
Updated settings names and document them in README.upgrade, Refs #1516
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1a97a220e9fd1b3ff6df2949ac45132eee7c8133 |
Added by Kostas Papadimitriou over 12 years ago
Updated settings names and document them in README.upgrade, Refs #1516