| Mon, 03 Apr 2017 16:36:45 +0200 | wenzelm | provide session qualifier via resources; | changeset | files |
| Mon, 03 Apr 2017 14:29:44 +0200 | wenzelm | proper qualifier (again, see df4cd6e1fdfa); | changeset | files |
| Mon, 03 Apr 2017 13:39:13 +0200 | wenzelm | simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28); | changeset | files |
| Mon, 03 Apr 2017 12:49:13 +0200 | wenzelm | tuned; | changeset | files |