Diffusion Isabelle a3c694039fd6

discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
a3c694039fd6
Actions

Tags

None

Subscribers

None

Description

discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;

Details

Provenance

Authored on

Parents

rISABELLEaab9bb081f01: clarified options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa3c694039fd6: discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;.Sep 16 2022, 2:26 PM

Changes (5)

Path

Size

src/

Pure/

Admin/

build_release.scala

General/

mercurial.scala

System/

components.scala

Tools/

phabricator.scala

rISABELLEa3c694039fd6

src/Pure/Admin/build_release.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/System/components.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...