| Sun, 05 Nov 2023 19:32:01 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 05 Nov 2023 19:28:54 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Nov 2023 20:28:07 +0100 | wenzelm | enable multi-builds (again, see also 0c7419d3dd59); | changeset | files |
| Sat, 04 Nov 2023 20:10:17 +0100 | wenzelm | explore history more thoroughly; | changeset | files |
| Sat, 04 Nov 2023 17:19:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 04 Nov 2023 17:29:49 +0100 | wenzelm | clarified "recent" time: days <= 0 means infinity (no constraint); | changeset | files |
| Sat, 04 Nov 2023 16:56:54 +0100 | wenzelm | tuned whitespace; | changeset | files |