Mon, 22 May 2017 19:34:01 +0200 | wenzelm | clarified signature; | changeset | files |
Mon, 22 May 2017 15:19:44 +0200 | wenzelm | more settings; | changeset | files |
Mon, 22 May 2017 14:44:07 +0200 | wenzelm | more robust treatment of generated strings; | changeset | files |