| Tue, 22 Mar 2022 20:25:52 +0100 | wenzelm | tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java; | changeset | files |
| Tue, 22 Mar 2022 20:06:41 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 22 Mar 2022 19:33:38 +0100 | wenzelm | clarified modules; | changeset | files |