Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplify build scripts
Changeset 63401:28cc90b0e9c2 by lars hupel _lars.hupel@mytum.de_:
simplify build scripts
The file was modified Admin/jenkins/build/ci_build_benchmark.scala (diff)
The file was modified Admin/jenkins/build/ci_build_makeall.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)