Revision 31279d33
ID | 31279d33963bfa6b65abf2728597b19f4decadcb |
Better handling of long machine names, Refs. #857
Files
- added
- modified
- copied
- renamed
- deleted
ID | 31279d33963bfa6b65abf2728597b19f4decadcb |
Added by Kostas Papadimitriou almost 13 years ago
Better handling of long machine names, Refs. #857