Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. uniform Isabelle settings -- avoid picking up different JAVA_HOME;
Changeset 64266:4699d3b3173e by wenzelm:
uniform Isabelle settings -- avoid picking up different JAVA_HOME;
The file was modified Admin/cronjob/main (diff)