| Sat, 18 Jan 2025 23:46:46 +0100 | wenzelm | more complete bundle; | changeset | files |
| Sat, 18 Jan 2025 23:37:44 +0100 | wenzelm | tuned README; | changeset | files |
| Sat, 18 Jan 2025 23:28:49 +0100 | wenzelm | proper settings; | changeset | files |
| Sat, 18 Jan 2025 23:19:23 +0100 | wenzelm | clarified compression; | changeset | files |
| Sat, 18 Jan 2025 22:41:33 +0100 | wenzelm | clarified patches: avoid duplication; | changeset | files |
| Sat, 18 Jan 2025 22:29:47 +0100 | wenzelm | clarified patches; | changeset | files |
| Sat, 18 Jan 2025 22:25:47 +0100 | wenzelm | more explicit stages, with timing messages; | changeset | files |
| Sat, 18 Jan 2025 21:13:48 +0100 | wenzelm | avoid redundant repository clone; | changeset | files |