Sat, 27 Mar 2021 22:19:56 +0100 more robust: lest hg work out remote tip;
wenzelm [Sat, 27 Mar 2021 22:19:56 +0100] rev 73493
more robust: lest hg work out remote tip; more options;
Sat, 27 Mar 2021 22:09:49 +0100 more options;
wenzelm [Sat, 27 Mar 2021 22:09:49 +0100] rev 73492
more options;
Sat, 27 Mar 2021 21:27:27 +0100 clarified treatment of multiple versions: last one counts;
wenzelm [Sat, 27 Mar 2021 21:27:27 +0100] rev 73491
clarified treatment of multiple versions: last one counts; more options;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip