Mon, 14 Oct 2019 13:21:53 +0200 | wenzelm | clarified defaults; | changeset | files |
Mon, 14 Oct 2019 13:17:33 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 14 Oct 2019 12:07:37 +0200 | wenzelm | clarified signature: static Dump.Context vs. dynamic Dump.Session; | changeset | files |