Sun, 23 Jul 2023 19:21:54 +0200 | wenzelm | clarified exception handling and return_code; | changeset | files |
Sun, 23 Jul 2023 19:20:29 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
Sun, 23 Jul 2023 18:39:23 +0200 | wenzelm | more robust; | changeset | files |
Sun, 23 Jul 2023 14:51:07 +0200 | wenzelm | support for Build_Cluster.Session.init (rsync + Admin/init); | changeset | files |