src/Pure/Admin/ci_profile.scala
2016-10-15 wenzelm 2016-10-15 clarified hg.id operation, with explicit tip as default;
2016-10-15 Lars Hupel 2016-10-15 Jenkins: don't build in system mode
2016-10-12 wenzelm 2016-10-12 modernized;
2016-10-12 wenzelm 2016-10-12 clarified files;