Tue, 02 May 2017 10:25:27 +0200 proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
wenzelm [Tue, 02 May 2017 10:25:27 +0200] rev 65677
proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
Tue, 02 May 2017 10:12:26 +0200 suppress build_log_snapshot: too bulky;
wenzelm [Tue, 02 May 2017 10:12:26 +0200] rev 65676
suppress build_log_snapshot: too bulky;
Mon, 01 May 2017 23:00:23 +0200 more Jenkins logs for build_log database;
wenzelm [Mon, 01 May 2017 23:00:23 +0200] rev 65675
more Jenkins logs for build_log database;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip