| Mon, 14 Oct 2019 19:14:03 +0200 | wenzelm | simplified options: always split; | changeset | files |
| Mon, 14 Oct 2019 18:51:12 +0200 | wenzelm | proper guard -- avoid bad result; | changeset | files |
| Mon, 14 Oct 2019 17:19:08 +0200 | wenzelm | split into standard partitions, for improved scalability; | changeset | files |
| 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 |