[Configuración SSH][devlin.hosters.es]
hostname=devlin.hosters.es
identifier=devlin.hosters.es
importedFromSshConfig=true
port=
profileName=Integrado
sshkey=
useSshConfig=true
username=

[Configuración SSH][gitea]
hostname=gitea
identifier=gitea
importedFromSshConfig=true
port=
profileName=
sshkey=
useSshConfig=true
username=

[Configuración SSH][tecnicos.dev.raorsa.local]
hostname=tecnicos.dev.raorsa.local
identifier=tecnicos.dev.raorsa.local
importedFromSshConfig=true
port=
profileName=Integrado
sshkey=
useSshConfig=true
username=

[Global plugin config]
manageProfile=false
