« Previous | Next » 

Revision 1efe6159

ID1efe6159c80efb2f0ed17b3af68c38738d191f72

Added by Kostas Papadimitriou almost 12 years ago

Public SSH keys improvements

- use 'id_rsa' as the filename for the downloaded private key, Refs #2461
- changed the name of the auto generated public key

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences