src/Pure/Admin/jenkins.scala
Mon, 01 May 2017 00:07:43 +0200 wenzelm more informative log_filename;
Sun, 30 Apr 2017 23:41:08 +0200 wenzelm retrieve more than just 100 builds;
Sun, 30 Apr 2017 23:11:51 +0200 wenzelm clarified modules;
less more (0) tip