Mon, 14 Oct 2019 12:07:37 +0200 | wenzelm | clarified signature: static Dump.Context vs. dynamic Dump.Session; | changeset | files |
Sun, 13 Oct 2019 17:17:40 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 13 Oct 2019 16:36:41 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 13 Oct 2019 16:26:31 +0200 | wenzelm | clarified sessions/directories; | changeset | files |
Sat, 12 Oct 2019 22:20:39 +0200 | wenzelm | clarified signature default; | changeset | files |
Sat, 12 Oct 2019 22:18:27 +0200 | wenzelm | clarified signature default; | changeset | files |