tuned comment;
authorwenzelm
Mon Oct 10 09:57:56 2016 +0200 (2016-10-10)
changeset 64124818265654e60
parent 64123 a967b5a07f92
child 64125 a034dac5ca3c
tuned comment;
src/Pure/General/ssh.scala
     1.1 --- a/src/Pure/General/ssh.scala	Sun Oct 09 23:08:40 2016 +0200
     1.2 +++ b/src/Pure/General/ssh.scala	Mon Oct 10 09:57:56 2016 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  /*  Title:      Pure/General/ssh.scala
     1.5      Author:     Makarius
     1.6  
     1.7 -Support for Secure Shell.
     1.8 +SSH client based on JSch (see also http://www.jcraft.com/jsch/examples).
     1.9  */
    1.10  
    1.11  package isabelle