lib/Tools/setup
Sat, 27 Mar 2021 22:36:45 +0100 wenzelm more accurate settings after update of current version;
Sat, 27 Mar 2021 22:26:13 +0100 wenzelm clarified messages;
Sat, 27 Mar 2021 22:19:56 +0100 wenzelm more robust: lest hg work out remote tip;
Sat, 27 Mar 2021 22:09:49 +0100 wenzelm more options;
Sat, 27 Mar 2021 21:27:27 +0100 wenzelm clarified treatment of multiple versions: last one counts;
Sat, 27 Mar 2021 20:53:11 +0100 wenzelm more robust;
Sat, 27 Mar 2021 20:39:14 +0100 wenzelm more robust: explicit repository root;
Sat, 27 Mar 2021 20:37:49 +0100 wenzelm more robust;
Sat, 27 Mar 2021 20:24:04 +0100 wenzelm more convenient repository setup;
less more (0) tip