-
Pierre-Yves Chibon authored
This way adding more information about the ssh keys of the servers is as easy as extending the configuration file.
94275302
This way adding more information about the ssh keys of the servers is as easy as extending the configuration file.