| Sun, 02 Feb 2025 12:11:03 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 02 Feb 2025 00:14:26 +0100 | Fabian Huch | merged | changeset | files |
| Sun, 02 Feb 2025 00:11:06 +0100 | Fabian Huch | clarified name; | changeset | files |
| Sun, 02 Feb 2025 00:08:41 +0100 | Fabian Huch | documentation about Build_Manager; | changeset | files |
| Sat, 01 Feb 2025 22:41:43 +0100 | Fabian Huch | tuned; | changeset | files |
| Sat, 01 Feb 2025 22:39:44 +0100 | Fabian Huch | use ssh host for default address; | changeset | files |
| Sat, 01 Feb 2025 22:31:19 +0100 | Fabian Huch | tuned; | changeset | files |