| Wed, 06 Dec 2017 21:30:26 +0100 | wenzelm | more default tags; | changeset | files |
| Wed, 06 Dec 2017 21:01:01 +0100 | wenzelm | merged | changeset | files |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | changeset | files |
| Wed, 06 Dec 2017 19:34:59 +0100 | wenzelm | more robust, e.g. when Sidekick produces multi-selection; | changeset | files |