| Fri, 19 Aug 2022 14:59:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 19 Aug 2022 14:53:38 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 18 Aug 2022 14:16:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 18 Aug 2022 12:48:01 +0200 | wenzelm | more robust directory structure: always relative to session_dir; | changeset | files |
| Thu, 18 Aug 2022 12:02:20 +0200 | wenzelm | discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach; | changeset | files |
| Thu, 18 Aug 2022 11:43:27 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 18 Aug 2022 11:24:20 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 18 Aug 2022 10:36:08 +0200 | wenzelm | unused; | changeset | files |