| Thu, 04 Jul 2024 19:16:12 +0200 | wenzelm | tuned comments; | changeset | files |
| Fri, 05 Jul 2024 10:38:17 +0200 | Fabian Huch | tuned whitespace; | changeset | files |
| Fri, 05 Jul 2024 09:52:56 +0200 | Fabian Huch | use ansi colored diffs; | changeset | files |
| Fri, 05 Jul 2024 09:47:21 +0200 | Fabian Huch | add diffs to build manager; | changeset | files |
| Thu, 04 Jul 2024 13:50:14 +0200 | Fabian Huch | clarified: components vs. extra components; | changeset | files |
| Thu, 04 Jul 2024 09:57:40 +0200 | Fabian Huch | compress reports; | changeset | files |
| Wed, 03 Jul 2024 21:11:24 +0200 | Fabian Huch | clarified build report; | changeset | files |