Mon, 20 Feb 2023 11:34:31 +0100 | wenzelm | more elementary data structures, to fit better to SQL database; | changeset | files |
Mon, 20 Feb 2023 10:51:16 +0100 | wenzelm | clarified signature (see also 68a7ad1385bc); | changeset | files |
Mon, 20 Feb 2023 10:42:07 +0100 | wenzelm | clarified signature; | changeset | files |