| Sat, 07 Sep 2019 14:50:38 +0200 | wenzelm | disable fragile options for now; | changeset | files |
| Sat, 07 Sep 2019 12:16:11 +0200 | wenzelm | avoid overlapping session directories; | changeset | files |
| Sat, 07 Sep 2019 12:11:42 +0200 | wenzelm | support for explicit session directories; | changeset | files |
| Fri, 06 Sep 2019 20:29:09 +0200 | wenzelm | obsolete (see 94442fce40a5); | changeset | files |
| Fri, 06 Sep 2019 20:23:31 +0200 | wenzelm | optional trace output; | changeset | files |
| Fri, 06 Sep 2019 19:44:54 +0200 | wenzelm | prefer commands_accepted: fewer protocol messages; | changeset | files |
| Fri, 06 Sep 2019 18:59:24 +0200 | wenzelm | prefer define_commands_bulk: fewer protocol messages; | changeset | files |