| Mon, 10 Apr 2017 11:29:47 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 09 Apr 2017 21:06:19 +0200 | wenzelm | NEWS; | changeset | files |
| Sun, 09 Apr 2017 20:53:55 +0200 | wenzelm | more robust: user could provide name with "/" etc.; | changeset | files |