Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
  2. clarified output;
Changeset 71563:8ddd558d3044 by wenzelm:
clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71562:794c8b0ad8f1 by wenzelm:
clarified output;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)