| Mon, 26 Dec 2016 13:21:08 +0100 | wenzelm | clarified header text; | changeset | files |
| Fri, 23 Dec 2016 20:12:27 +0100 | haftmann | restored instance for char, which got ancidentally lost in b3f2b8c906a6 | changeset | files |
| Fri, 23 Dec 2016 20:10:38 +0100 | wenzelm | merged | changeset | files |
| Fri, 23 Dec 2016 20:06:54 +0100 | wenzelm | proper file:// URL for external references; | changeset | files |