| Sat, 26 Mar 2016 13:41:14 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 26 Mar 2016 12:35:11 +0100 | wenzelm | clarified use of options; | changeset | files |
| Sat, 26 Mar 2016 12:22:15 +0100 | wenzelm | avoid hardwired values; | changeset | files |
| Sat, 26 Mar 2016 12:17:02 +0100 | wenzelm | eliminated duplicate; | changeset | files |