| Tue, 23 Dec 2014 16:00:38 +0100 | wenzelm | imitate font more carefully: err on smaller size; | changeset | files |
| Mon, 22 Dec 2014 21:34:11 +0100 | wenzelm | more accurate selection of sessions; | changeset | files |
| Mon, 22 Dec 2014 21:27:59 +0100 | wenzelm | more accurate selection of sessions; | changeset | files |