| Sun, 03 Sep 2023 16:44:07 +0200 | wenzelm | proper stop of build_process shutdown, despite errors on workers; | file | diff | annotate |
| Sun, 03 Sep 2023 16:19:58 +0200 | wenzelm | prefer quiet mode: potentially more robust ssh connection, e.g. when master closes; | file | diff | annotate |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Sun, 27 Aug 2023 12:57:59 +0200 | wenzelm | removed junk (following ab07d4cb7d1c, amending 8cd399b25dac); | file | diff | annotate |
| Sat, 26 Aug 2023 13:48:14 +0200 | wenzelm | tuned messages (again); | file | diff | annotate |
| Sat, 26 Aug 2023 13:47:03 +0200 | wenzelm | tuned: prefer explicit types; | file | diff | annotate |
| Fri, 25 Aug 2023 20:35:28 +0200 | wenzelm | support for Host.dirs; | file | diff | annotate |