Tue, 11 Oct 2016 23:09:36 +0200 proper redirection;
wenzelm [Tue, 11 Oct 2016 23:09:36 +0200] rev 64158
proper redirection;
Tue, 11 Oct 2016 22:30:48 +0200 tuned output;
wenzelm [Tue, 11 Oct 2016 22:30:48 +0200] rev 64157
tuned output;
Tue, 11 Oct 2016 22:24:47 +0200 tuned message -- more parsable;
wenzelm [Tue, 11 Oct 2016 22:24:47 +0200] rev 64156
tuned message -- more parsable;
Tue, 11 Oct 2016 22:24:14 +0200 tuned signature;
wenzelm [Tue, 11 Oct 2016 22:24:14 +0200] rev 64155
tuned signature;
Tue, 11 Oct 2016 22:14:26 +0200 identify managed repository clones;
wenzelm [Tue, 11 Oct 2016 22:14:26 +0200] rev 64154
identify managed repository clones;
Tue, 11 Oct 2016 21:48:56 +0200 some timing and logging, similar to old isatest.log;
wenzelm [Tue, 11 Oct 2016 21:48:56 +0200] rev 64153
some timing and logging, similar to old isatest.log;
Tue, 11 Oct 2016 21:44:20 +0200 enforce short name, notably on Mac OS X;
wenzelm [Tue, 11 Oct 2016 21:44:20 +0200] rev 64152
enforce short name, notably on Mac OS X;
Tue, 11 Oct 2016 21:25:10 +0200 tuned -- Date.Format.default used by toString;
wenzelm [Tue, 11 Oct 2016 21:25:10 +0200] rev 64151
tuned -- Date.Format.default used by toString;
Tue, 11 Oct 2016 20:54:42 +0200 clarified modules;
wenzelm [Tue, 11 Oct 2016 20:54:42 +0200] rev 64150
clarified modules;
Tue, 11 Oct 2016 20:31:13 +0200 force fresh build;
wenzelm [Tue, 11 Oct 2016 20:31:13 +0200] rev 64149
force fresh build;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip