Sun, 23 Jul 2023 19:21:54 +0200 wenzelm clarified exception handling and return_code;
Sun, 23 Jul 2023 19:20:29 +0200 wenzelm tuned signature: more operations;
Sun, 23 Jul 2023 18:39:23 +0200 wenzelm more robust;
Sun, 23 Jul 2023 14:51:07 +0200 wenzelm support for Build_Cluster.Session.init (rsync + Admin/init);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip