Admin/jenkins/build/ci_build_makeall_seq.scala
Fri, 07 Apr 2017 10:47:25 +0200 wenzelm explicit Sessions.Selection;
Thu, 06 Apr 2017 22:04:30 +0200 wenzelm clarified signature: tree structure is not essential;
Wed, 28 Sep 2016 14:48:46 +0200 Lars Hupel sequential (jobs = 1) makeall profile
less more (0) tip