| Mon, 06 Feb 2023 15:35:18 +0100 | wenzelm | prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX; | changeset | files |
| Mon, 06 Feb 2023 15:11:07 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 06 Feb 2023 15:04:21 +0100 | wenzelm | more uniform use of SHA1.Shasum; | changeset | files |