| Sun, 23 Jul 2023 21:23:18 +0200 | wenzelm | proper check; | file | diff | annotate |
| Sun, 23 Jul 2023 21:04:33 +0200 | wenzelm | unused; | file | diff | annotate |
| Sun, 23 Jul 2023 20:45:00 +0200 | wenzelm | clarified signature: Build_Cluster.Session.build_context; | file | diff | annotate |
| Sun, 23 Jul 2023 19:21:54 +0200 | wenzelm | clarified exception handling and return_code; | file | diff | annotate |
| Sun, 23 Jul 2023 18:39:23 +0200 | wenzelm | more robust; | file | diff | annotate |
| Sun, 23 Jul 2023 14:51:07 +0200 | wenzelm | support for Build_Cluster.Session.init (rsync + Admin/init); | file | diff | annotate |
| Sat, 22 Jul 2023 20:37:56 +0200 | wenzelm | clarified signature: more "object-oriented" style; | file | diff | annotate |